David Capello d9790b3834 Move keyboard shortcuts to change pen size from Editor widget to commands.
* Now +/- keys are configurable because they are defined in gui.xml as calls to the new "change_pen" command.
2010-08-12 17:29:06 -03:00
..
2007-09-18 23:57:02 +00:00
2007-09-18 23:57:02 +00:00