Menu

Commit [r15883]  Maximize  Restore  History

Created a new wizard element for inputting integers.

This will be used for user function args which should be integers. This is based on the string
element. The wizard page element_int() method creates the element from the wizard_elements.Integer
class.

bugman 2012-05-02

changed /1.3/gui/wizard.py
changed /1.3/gui/wizard_elements.py
/1.3/gui/wizard.py Diff Switch to side-by-side view
Loading...
/1.3/gui/wizard_elements.py Diff Switch to side-by-side view
Loading...