Menu ▾ ▴

Commit [r15754]  Maximize  Restore  History

Fix for the gui_to_int() function for when a text instead of an int is given by the user.

bugman 2012-04-17

Browse code at this revision

Parent: [r15753]

Child: [r15755]

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