:: 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>