From adc93f6097615f16d57e8a24a256302f2144ec4e Mon Sep 17 00:00:00 2001 From: rsc Date: Fri, 14 Jan 2005 17:37:50 +0000 Subject: cut out the html - they're going to cause diffing problems. --- man/man3/wctl.html | 78 ------------------------------------------------------ 1 file changed, 78 deletions(-) delete mode 100644 man/man3/wctl.html (limited to 'man/man3/wctl.html') diff --git a/man/man3/wctl.html b/man/man3/wctl.html deleted file mode 100644 index 071217e2..00000000 --- a/man/man3/wctl.html +++ /dev/null @@ -1,78 +0,0 @@ - -wctl(3) - Plan 9 from User Space - - - - -
-
-
WCTL(3)WCTL(3) -
-
-

NAME
- -
- - drawresizewindow, drawsetlabel, drawtopwindow – window management
- -
-

SYNOPSIS
- -
- - #include <draw.h> -
- - void drawresizewindow(Rectangle r) -
- - int    drawsetlabel(Display *d, char *name) -
- - void drawtopwindow(void)
- -
-

DESCRIPTION
- -
- - These routines interact with a window manager to set the properties - of the window running the current program. They substitute for - interacting directly with the Plan 9 rio’s /dev/wctl. -
- - Drawresizewindow requests that the program’s window be resized - to have the width and height of the rectangle r. Only the width - and height are important; the offset is ignored. -
- - Drawsetlabel requests that the program’s window title be set to - name. -
- - Drawtopwindow requests that the program’s window be moved above - all other windows and given the input focus.
- -
-

SOURCE
- -
- - /usr/local/plan9/src/libdraw/x11−init.c
- /usr/local/plan9/src/libdraw/x11−wsys.c
- -
- -

 -
-
- - -
-
-
-Space Glenda -
-
- - -- cgit v1.2.3