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