Ask Your Question

Revision history [back]

The preferences are all listed at -- the Internal Name is what you want to use with show-preferences-gui().  There are some of these that are not in the preferences GUI, however, in cases where having a checkbox in a menu or similar made more sense and adding it as an obscure entry in the prefs dialog didn't make as much sense.  But most of them are in there.