lib/gui/form.py
def scriptsPage(f):
	"""Writes the scripts page for the GUI.
	@param f: File to write to
	"""
	openPage(f,'scripts')
	f.write("""
		Select built-in scripts:<br />
		<input type='checkbox' name='script_tooltips' /> Tooltips<br />
		<input type='checkbox' name='script_panandzoom' /> Pan and Zoom<br />
	""")
	closePage(f,'scripts')
Writes the scripts page for the GUI.
	@param f: File to write to
	
Writes the scripts page for the GUI.
Writes the scripts page for the GUI .
def scriptsPage(f):
	openPage(f,'scripts')
	f.write("""
		Select built-in scripts:<br />
		<input type='checkbox' name='script_tooltips' /> Tooltips<br />
		<input type='checkbox' name='script_panandzoom' /> Pan and Zoom<br />
	""")
	closePage(f,'scripts')
def scriptsPage ( f ) : openPage ( f , 'scripts' ) f . write ( """
		Select built-in scripts:<br />
		<input type='checkbox' name='script_tooltips' /> Tooltips<br />
		<input type='checkbox' name='script_panandzoom' /> Pan and Zoom<br />
	""" ) closePage ( f , 'scripts' )
Writes the scripts page for the GUI.
Writes the scripts page for the GUI .
"""Writes the scripts page for the GUI.
	@param f: File to write to
	"""
f
File to write to
File to write to