next up previous contents
Next: Miscellaneous Notes Up: Basics Previous: Menus

User Preferences

User preferences can be set in a file wxls.ini (or wxls32.ini for the Win32 version) in the windows system directory. This file can contain several variables in sections [Xlisp], [Listener], and [Graphics]:
tabular56
The Libdir variable should be set to the directory containing the executable and runtime files; this should be done at installation time by loading config.lsp. The Workspace variable allows an alternate initial workspace to be specified. Both can be overridden on the command line by specifying -d or -w options, respectively. The Color variable can be used to turn color use off if allocating a color background buffer would require too much memory. As an example, a wxls.ini file containing

[Xlisp]
Libdir=C:\WXLS
[Listener]
Font="Courier New Bold"
FontSize=13
[Graphics]
Color=off
specifies a library directory, a listener font, and turns color off.



Luke Tierney
Mon Aug 30 09:50:11 CDT 1999