This an example of the current preferences dialog within the ontology editor. The dialog, like everything else in the ontology editor, is dynamically generated from the set of preference variables. Negligible programming effort has been spent on the interface to the preferences. This is clearly an area in need of improvement.

[Up]

User Preferences

Home User Preferences

Ontology Editor Preferences

Browser, instances:
Show instances in the ontology browser:
Button, GO:
Show GO buttons:
Button, Preferences:
Show an icon on the tool bar that takes you to this preferences dialogue:
Button, Save:
Show a save all icon on the menu bar. Once you save, you are given the option of quitting the session:
Dictionary, URL:
A URL to take you to a useful dictionary server. If not supplied, no dictionary button will be shown:
EMail destination:
What to do when an EMail command is selected:
Ellipses, Find:
Number of terms to display with the "Find" command before going into ellipses [Positive integer]:
Ellipses, axioms:
Total number of any given type of axiom to display before going into ellipses [Positive integer or ALL]:
Ellipses, axioms, other related:
Total number of any given type of "Other Related" axiom (axioms defined on other frames that reference the current frame) to display before going into ellipses [Positive integer or ALL]:
Ellipses, facet values, instance:
Total number of instance slot facet values to display before going into ellipses [Positive integer or ALL]:
Ellipses, facet values, own:
Total number of own slot facet values to display before going into ellipses [Positive integer or ALL]:
Ellipses, grow expression:
The expression (of x) to evaluate to determine a larger ellipsis margin when you click on a "...". For example, you might say (* x 2), which would mean double the number of values shown, or (+ x 5), which would mean show five more [Expression mentioning X]:
Ellipses, slot values, instance:
Total number of instance slot values to display before going into ellipses [Positive integer or ALL]:
Ellipses, slot values, own:
Total number of own slot values to display before going into ellipses [Positive integer or ALL]:
Find, all ontologies:
When executing a find command, set the default value of the "Search all ontologies" checkbox to true:
Help, put page description at top:
When true causes the page description help to be put at the top of the help page, before the description of the menu items etc.:
Library, show accessible ontologies as header:
When true causes ontology library page to print out with a list of the accessible (writable or loadable) ontologies above the alphabetical list of ontologies:
Library, show only session-accessible ontologies in header:
When true, and you have selected "Library, show accessible ontologies as header" also as true, causes ontology library header to include only those ontologies that are accessible to the group that owns the current session:
Load, log definitions as they load:
When true the ontology loader to print out the name of each definition as it loads it as the result of the Import Ontology or Import Definitions command:
Menu bar, show on bottom of page too:
BAUD When true causes the ontology editor to show a second menu bar at the bottom of the page as well. Users with low bandwidth may choose to unset this option:
Menus, always show icon strip:
Always show the icon strip, even on "modal" pages, such as class creation forms:
Menus, commands, always show:
Always show the menu commands, even on "modal" pages, such as class creation forms:
Menus, full:
Allow menu items from higher levels. For example, when editing a frame this will allow you access to Ontology-level commands too:
Menus, newlines:
Insert a newline for each command menu (easier to read, but takes up more screen space):
Menus, submenus:
Group menu commands into submenus. If not selected, each menu bar command will be shown as a button:
Ontologies, inclusion lattice:
Print including/included ontologies as a lattice:
Ontologies, show a synopsis by default:
BAUD When true causes the ontology editor to show ontologies as a synopsis of the content, rather than displaying the whole content. Users with low bandwidth may choose to set this option:
Ontology, what counts as large:
BAUD Number of definnitions in an ontology before it is considered to be "large" for the purpose of displaying it in the editor [Positive integer]:
Power user:
Enable power user mode (don't use this unless you really understand things like the difference between ontology "use" and "inclusion". This exposes a lot of internal stuff to Ontolingua that is unimportant to the average user, and may just confuse you):
Pretty print:
When files are writen out by the ontology editor should they be pretty printed?
Pretty printing is slower and is probably undesirable if you do not have access to the file system.
Definitions are always pretty printed to EMail:
Printing/reading, infixify:
When set, this parameter causes the user interface to print and read expressions, such as KIF sentences or arithmetic expressions, as infix expressions:
Translation target:
The default target for Ontolingua translations:
Values, number on same line as slot name:
The number of slot (or facet) values that can be printed out on the same line as the slot (or facet) name before the user interface throws a newline and indents. The wider your display, the larger this number can be. If this parameter it set too high, lines will wrap and will be harder to read [Positive integer]:
Values, string length on a line:
The length that a string type slot value is allowed to be before forcing the user interface to throw a newline and go into blockquote mode [Positive integer]:
Vertical space, be miserly:
When set, this parameter causes the user interface to be as miserly as possible with its use of vertical space. This is a useful parameter to set if you use a browser such as Netscape, which is very wasteful of space:

General network services preferences

Group search order:
The order in which to search groups for files [Smaller is better, numbers must be unique]:
JUST-ME: UNIVERSE:
Group, default for sessions:
The default value in the group selection menu on the session selection page:
Image, formats:
Supported image formats (sometimes your browser doesn't tell us. Sometimes it lies):
Image, prettiness:
[BAUD] Prefered image to get if there's a choice:
Image, size limit:
[BAUD] Transmit only images smaller than this size (if you are working with a slow machine or slow connection, use this to prevent the transmission of large bitmapped images where possible. This feature allows you still to get all of the edit gadgets that are represented as small images of around 1600 bytes) [Positive integer or ALL]:
Images, gratuitous:
[BAUD] Inhibit gratuitous banner graphics:
Images, show unbordered icons NEW! :
BAUD When true causes the system to display some icons without borders and transparent backgrounds on those browsers that support unbordered images. This results in a cleaner looking image, but causes you not to be able to see that an image is anchored:
Mail, CC me too:
CCs you by default on all bug reports and comments you send:
Menus, icons to show NEW! :
Allows you to select which icons to show or suppress in menu bars. Commands appear on menu bars only when they are applicable, so selecting a command in this preference does not guarantee that the icon will appear, because the command in question might not be applicable, or you might not have sufficient privilege to access it, but deselecting any command guarantees that the command will not appear
Service, go straight to:
BAUD If a service is selected here, you will be taken directly to the service from the session selection page, without going through the home page. This is useful either if you only ever use one service, or you want to make an account more turnkey. This option only works if URL redirection works on your browser:
Services, jump past start page:
BAUD Lets you jump past the start page for services accessed from the home page. This is useful if you are an experienced user and don't need any introductions:
URL Redirection:
Allow URL Redirection: