1
0
mirror of https://github.com/gryf/wmaker.git synced 2025-12-30 10:22:34 +01:00
Files
wmaker/util
dan d08691d5a5 - Changed fallback font to 'sans serif:pixelsize=12'
- Fixed convertfonts to account for $LANG
- Fixed convertfonts logic a bit and no longer output slant and weight if
  they are the default ones (medium and roman)
- Applied Pascal's fix for GNUstep menus (modified to also include submenus)
  Still this is not the proper fix, as it can't differentiate between
  submenus and other windows at the floating window level. Correct fix needs
  some extra hints to be set by GNUstep on menus.
2004-10-22 22:27:11 +00:00
..
2004-10-12 01:35:41 +00:00
2001-07-23 20:31:32 +00:00
2001-09-04 20:03:58 +00:00
2001-09-04 20:03:58 +00:00
2001-02-17 21:44:22 +00:00
2001-07-23 20:31:32 +00:00
2001-09-04 20:03:58 +00:00

wm-oldmenu2new - converts between the plain text file menu format to the
 	 property list menu format.

bughint- gathers some information for bug reporting

geticonset- outputs the current set of icon assignments. Good for making 
	themes.

setstyle- load style settings from a style file and setup WindowMaker

getstyle - gets current style settings and save into a file or create
	a theme pack.

seticons- merges icon definitions into WMWindowAttributes file


wmaker.inst- quick and dirty script to install necessary files from 
	global configuration to user's directory. Look in the script to
	adapt it to your site.

wxcopy- copy input file or stdin into X cutbuffer

wxpaste- copy content of X cutbuffer into stdout

wcopy, wpaste- see 'man wcopy'

wmsetbg- set the workspace background into a image and make it persist between
	sessions.

wdwrite- write data into the defaults database (configuration files).

wdread- read Simple data from defaults database (for use in scripts for example)

wmchlocale- change locale dependent settings of Window Maker (menu & fonts)

wsetfont- set locale the fonts needed for a specific locale for Window Maker

wmagnify- a program to magnify the area near the mouse pointer,
	with real-time update

wkdemenu.pl- convert a KDE menu into a wmaker menu (for pipe)