1
0
mirror of https://github.com/gryf/wmaker.git synced 2025-12-22 22:28:02 +01:00
Files
wmaker/util
Doug Torrance 1a01ac103f Removed references to obsolete DisplayFont
According to NEWS, the DisplayFont option was removed in version 0.62.0 and
replaced by the WINGs system font.  However, it was still referenced in a large
number of style files, as well as the utils getstyle, setstyle, convertfonts,
and the manpages for getstyle and setstyle.  This patch removes all of these
references.

In addition, it updates the Czech, Slovak, and Russian translations of these
manpages to match the English versions.  Note that I relied on Google translate, and it appears I may have re-encoded some characters when I saved the Czech
and Slovak files -- if you speak these languages, please take a look!

A few minor spelling errors were corrected in the English manpages.
2014-05-19 18:18:56 +01:00
..
2001-07-23 20:31:32 +00:00
2004-10-23 00:09:41 +00:00
2014-05-17 15:59:47 +01:00
2014-05-17 15:59:47 +01: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

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)

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)