Timeline
Parents and children of check-in [d10f61093f]
|
2015-05-17
| ||
| 19:13 | Adapt config options (color, and type: int) check-in: eb460acb8f user: mario tags: trunk | |
| 19:13 | Remove stray `print` statement check-in: d10f61093f user: mario tags: trunk | |
| 19:12 | Typecast plugin options on initialization. Use SpinButton for `int` options instead of text label. check-in: cdafbe23ce user: mario tags: trunk | |