80 Commits

Author SHA1 Message Date
Elvish_Hunter
57d2ece3de wml tools GUI: used os.path.normpath so Windows users see their standard directory separator 2015-02-10 10:50:06 +01:00
Elvish_Hunter
d5a78d19ed GUI.pyw: fixed the 3rd column width in the wmlindent tab 2015-01-23 11:29:14 +01:00
Elvish_Hunter
845d721216 GUI.pyw: fixed wording of an option 2015-01-23 11:17:59 +01:00
Elvish_Hunter
970a739f6d GUI.pyw: reworked verbosity options to fix a bug reported by vultraz 2015-01-23 11:06:06 +01:00
Elvish_Hunter
31bf0159ed GUI.pyw: check if the user already selected a folder, and use it in the directory selection dialog if so 2015-01-23 10:58:16 +01:00
Charles Dang
340e02ed9b wmltools GUI: fixed wording of wmlindent -v -v toggle 2015-01-21 18:12:59 +11:00
Elvish_Hunter
c65c9759d6 GUI.pyw: removed a line that I used while developing the latest modifications 2015-01-20 11:44:13 +01:00
Elvish_Hunter
b39efb97f9 GUI.pyw: added a Clear button to the directory selection box 2015-01-20 11:13:03 +01:00
Elvish_Hunter
2625c02f4d GUI.pyw: use a better error message when Skip core directory is on and there is no directory selected. Also add a missing comment 2015-01-20 11:13:02 +01:00
Elvish_Hunter
04f267e36b GUI.pyw: force Disable checks for unknown units when Skip core directory is enabled 2015-01-20 11:13:02 +01:00
Charles Dang
fce03fae5a wmltools GUI: use utf8 copyright symbol instead of '(C)' in About 2015-01-18 03:43:23 +11:00
Charles Dang
53c2ef9cb7 wmltools GUI: Added option to skip core when running wmllint 2015-01-17 22:32:43 +11:00
Elvish_Hunter
256fbc7d1a wml tools GUI: added context menu to the output text box 2014-09-15 17:58:40 +02:00
Elvish_Hunter
a77841e44b wml tools GUI: improved bindings to invoke the context menu 2014-09-15 17:58:39 +02:00
Elvish_Hunter
d61cd6e534 wml tools GUI: removed the 0 from some IntVar() initializations, because it doesn't do anything 2014-08-18 16:20:13 +02:00
Elvish_Hunter
dfb4767af2 wml tools GUI: replaced all IntVar() instances used by checkbuttons with BooleanVar() 2014-08-18 16:20:13 +02:00
Elvish_Hunter
834e5632d0 wml tools GUI: improved credits description for the Tango icons 2014-08-18 16:20:13 +02:00
Elvish_Hunter
3df50dd007 wml tools GUI: fixed the WinError 87 that happened on Python 3.4 2014-08-18 16:20:13 +02:00
Groggy Dice
d2888b1ab3 wmltools GUI: remove -f and -p wmllint options, add -m 2014-08-06 05:48:25 -04:00
Elvish_Hunter
9fd8ba5ef9 wmllint GUI: now the focus follows the mouse pointer, allowing use of the mouse wheel on the disabled Text widget 2014-06-25 14:54:56 +02:00
Elvish_Hunter
ebb4a80f46 wmllint GUI: fixed a bug on Python 2.7.7 that froze the application on Windows 2014-06-25 14:54:56 +02:00
Elvish_Hunter
e3fc8f13b8 wmllint gui: made some options in the wmlscope tab evenly spaced 2014-05-29 14:57:10 +02:00
Elvish_Hunter
5480cca466 wmllint gui: fixed a bug in regexp handling 2014-05-29 14:57:09 +02:00
Elvish_Hunter
2dbca0c3f1 wmllint GUI: avoid showing a blank Tk window if the program is run outside of a Wesnoth directory 2014-05-21 10:43:54 +02:00
Elvish_Hunter
385384de86 wmllint GUI: verbosity level radiobutton, Normal -> Terse 2014-05-21 10:43:54 +02:00
Elvish_Hunter
ef81cbad61 wmllint GUI: moved the exit button to the right side of the window 2014-05-21 10:43:54 +02:00
Elvish_Hunter
82e1126094 wmllint GUI: removed verbs from option labelframe labels 2014-05-21 10:43:53 +02:00
Elvish_Hunter
241015fa05 wmllint GUI: made two labelframe labels shorter 2014-05-21 10:43:53 +02:00
Elvish_Hunter
f3012b50db wmllint GUI: used a smaller icon for the Browse button, and made the entry fill the whole frame 2014-05-21 10:43:52 +02:00
Elvish_Hunter
82e5cc8d39 Committed the new Tk-based GUI for wmllint/scope/indent 2014-05-05 17:52:45 +02:00