Doug Blank df33e354a5 2008-03-04 Douglas S. Blank <dblank@cs.brynmawr.edu> ...

* src/PluginUtils/_GuiOptions.py (make_gui_option): 
	new stand-alone function that takes Option, returns GuiOption
	(attempting to make Options useable in additional ways)



svn: r10179

2008-03-04 12:24:04 +00:00

83 KiB

Raw Blame History

View Raw