 Anna Petrášová
|
3dbfeda11f
wxGUI/preferences: added possibility to switch on/off zooming by mouse wheel (requested by Michael Barton)
|
13 years ago |
 Luca Delucchi
|
0487f8d099
fix bug on font setting with wx version 2.8.11
|
13 years ago |
 Martin Landa
|
c1f5420069
simplify language settings, use gisenv instead of environmental variable and expand by startup script
|
13 years ago |
|
Martin Landa
|
c4528b5114
wxGUI/language settings: store alias not its index (which can change)
|
13 years ago |
|
Martin Landa
|
c5a76d2cd8
wxGUI/prefences: fix labels for language settings
|
13 years ago |
|
Luca Delucchi
|
738730e3bb
add possibility to choose language in the preference dialog
|
13 years ago |
|
Martin Landa
|
7c5f3b08bb
wxGUI: various mirror fixes
|
13 years ago |
|
Martin Landa
|
2b99214f11
wxGUI: update doxygen docs
|
13 years ago |
|
Martin Landa
|
c730ae7e6f
wxGUI major code reorganization
|
13 years ago |
