 Martin Landa
|
90789f3939
wxGUI/vdigit: color settings for new segment (line/boundary)
|
hace 13 años |
|
Martin Landa
|
f4f13dfb35
wxGUI/digizer: fill areas by default
|
hace 13 años |
 Anna Petrášová
|
3dbfeda11f
wxGUI/preferences: added possibility to switch on/off zooming by mouse wheel (requested by Michael Barton)
|
hace 13 años |
|
Martin Landa
|
4858ffa7f0
wxGUI/modeler: cosmetics in action settings (width)
|
hace 13 años |
|
Martin Landa
|
c4528b5114
wxGUI/language settings: store alias not its index (which can change)
|
hace 13 años |
|
Martin Landa
|
aa369de38b
wxGUI/settings: clean up Settings constructor
|
hace 13 años |
 Luca Delucchi
|
738730e3bb
add possibility to choose language in the preference dialog
|
hace 13 años |
|
Martin Landa
|
2b99214f11
wxGUI: update doxygen docs
|
hace 13 años |
|
Martin Landa
|
c730ae7e6f
wxGUI major code reorganization
|
hace 13 años |
