UISettingsDialog.tw 1.4 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061
  1. :: UISettingsDialog[include]
  2. <h2>Display Settings</h2>
  3. <<set _userStyle = setup.userStyle>>
  4. <section>
  5. <h3>Font</h3>
  6. <div>
  7. Font Size:
  8. <<attr 'min' 6 'max' 120>>
  9. <<numberbox "_userStyle.fontSize" _userStyle.fontSize>>
  10. <</attr>>
  11. </div>
  12. <div>
  13. Font:
  14. <<listbox "_userStyle.font" autoselect>>
  15. <<option "Arial" "Arial">>
  16. <<option "Georgia" "Georgia, serif;">>
  17. <<option "Helmet" "Helmet, Freesans, sans-serif">>
  18. <<option "Lucida Console" '"Lucida Console", Courier, monospace'>>
  19. <<option "Times" 'Times, "Times New Roman", Georgia, serif'>>
  20. <</listbox>>
  21. </div>
  22. </section>
  23. <section>
  24. <h3>Layout</h3>
  25. <div>
  26. Grid: <<checkbox "_userStyle.grid" false true autocheck>>
  27. </div>
  28. </section>
  29. <section>
  30. <h3>Custom CSS</h3>
  31. <div>
  32. CSS: <<textarea "_userStyle.customCSS" _userStyle.customCSS>>
  33. </div>
  34. </section>
  35. <section>
  36. <h3>Debugging</h3>
  37. Debug-Messages:
  38. <<checkbox "_userStyle.toggleNotices" false true autocheck>>
  39. Error-Messages:
  40. <<checkbox "_userStyle.toggleErrors" false true autocheck>>
  41. </section>
  42. <h2>Logging</h2>
  43. <i>Logging takes up a lot of storage. You should disable it unless you need it.</i>
  44. <div>
  45. Log assignments: <<checkbox "_userStyle.logAssignments" false true autocheck>>
  46. </div>
  47. <div>
  48. Log FUNC-calls: <<checkbox "_userStyle.logFUNC" false true autocheck>>
  49. </div>
  50. <div>
  51. Log JUMP-calls: <<checkbox "_userStyle.logJUMP" false true autocheck>>
  52. </div>
  53. <div>
  54. Log GS-calls: <<checkbox "_userStyle.logGS" false true autocheck>>
  55. </div>