Up: The Page Wizard

The Options File

The WebEQ Page Wizard can remember options currently in use for the next session.

To save the options, use the "Save" menu item, from the "Options" menu in the Menu Bar. The next time you start the Page Wizard, it will automatically set the same options you had saved. You can also ask explicitly to restore the latest saved options by choosing the "Read" menu item from the "Options" menu. The names of the source/output files, and the equation (if you had typed any) will not be remembered. However, the source/output directories (chosen via the file browser dialogs) will be.

The options are saved in a filed called .wizardrc. Normally, you need not be concerned about its location or contents: the Page Wizard will find it and read it automatically for you. However, it is occasionally useful to inspect the file directly, so here are some guidelines about where to look for it.:

The file .wizardrc is stored in the directory pointed at by the user.home Java System Property. According to which operating system you use, this could be:

  • Unix: the user's home directory.
  • Macintosh: the Preferences folder in the System directory.
  • Windows 95/NT: depends also on which version of java you are using to run the Page Wizard. Places to look are the Java Home directory (for example: C:\WINNT\JAVA) or, in NT, your home directory.
(Note that under Windows, since the location may change with different Java versions, the Page Wizard may be unable to read your saved options if you change the Java installation you use. The Page Wizard will then revert to the "factory" default options. You can either find your old .wizardrc file and move it to the correct location for your new Java, or just simply re-enter your options, and re-save them).

Format of the Options File

The options file is a list of
option=option_value
entries. Any options that are not set in the options file will be initialized with their default values. The option names and legal values are summarized in the following table:

Option NameOption File Syntax
Point Sizesize=number
Background Colorbg=#rrggbb
Linewraplinewrap=[true | false]
Enable cut & pasteallow_selection=[true | false]
(no equivalent)eq=input
Output Fileo=outputfile
Type of Outputouttype=[Applets | MathML_Applets | MathML_Only | Images_Only]
Imagesimgtype=[none | jpeg | png]
MathML Commentsmathmlcomments=[true | false]
Errors to fileerrors=errorfile
Errors in HTMLhtmlerrors=[true | false]
Input languageparser=[webtex | mathml]
Equation delimitersdelims=[webtex | mathml]
URL to Codebasecodebase=URL
URL to webeq.jararchive=filename
URL to webeq.cabcabbase=filename
URL to install scriptinstalldir=filename
Namespacenamespace=[true | false]
Prefixprefix=label
Enable IE5 behaviorsiehead=[true | false]
Macro filemacro=URL
Local Macroslmacro=URL
Expand Macrosexpand=[true | false]
Enable control panelcontrols=[true | false]
X scalexscale=number
Y scaleyscale=number
Leadingleading=number
JPEG Optionscolorspace=[color | grayscale]
Qualityquality=[excellent | verygood | good | notsogood]
Image dirusersimgdir=URL
Image base nameimgname=name

The Page Wizard also stores the directories you used for the source and output files, even though these do not correspond directly to any options. These are saved as

sourcedir=source_directory
outputdir=output_directory.


[HOME] WebEQ 2.5 Documentation Table of Contents

Created: Aug 08 1997 --- Last modified: Sun Sep 10 10:28:32 2000
Copyright © 1997-2000 Design Science, Inc. All rights reserved.