| 12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061 |
- :: UISettingsDialog[include]
- <h2>Display Settings</h2>
- <<set _userStyle = setup.userStyle>>
- <section>
- <h3>Font</h3>
- <div>
- Font Size:
- <<attr 'min' 6 'max' 120>>
- <<numberbox "_userStyle.fontSize" _userStyle.fontSize>>
- <</attr>>
- </div>
- <div>
- Font:
- <<listbox "_userStyle.font" autoselect>>
- <<option "Arial" "Arial">>
- <<option "Georgia" "Georgia, serif;">>
- <<option "Helmet" "Helmet, Freesans, sans-serif">>
- <<option "Lucida Console" '"Lucida Console", Courier, monospace'>>
- <<option "Times" 'Times, "Times New Roman", Georgia, serif'>>
- <</listbox>>
- </div>
- </section>
- <section>
- <h3>Layout</h3>
- <div>
- Grid: <<checkbox "_userStyle.grid" false true autocheck>>
- </div>
- </section>
- <section>
- <h3>Custom CSS</h3>
- <div>
- CSS: <<textarea "_userStyle.customCSS" _userStyle.customCSS>>
- </div>
- </section>
- <section>
- <h3>Debugging</h3>
- Debug-Messages:
- <<checkbox "_userStyle.toggleNotices" false true autocheck>>
- Error-Messages:
- <<checkbox "_userStyle.toggleErrors" false true autocheck>>
- </section>
- <h2>Logging</h2>
- <i>Logging takes up a lot of storage. You should disable it unless you need it.</i>
- <div>
- Log assignments: <<checkbox "_userStyle.logAssignments" false true autocheck>>
- </div>
- <div>
- Log FUNC-calls: <<checkbox "_userStyle.logFUNC" false true autocheck>>
- </div>
- <div>
- Log JUMP-calls: <<checkbox "_userStyle.logJUMP" false true autocheck>>
- </div>
- <div>
- Log GS-calls: <<checkbox "_userStyle.logGS" false true autocheck>>
- </div>
|
