0ct0pu5/wesnoth
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

wmllint gui: made some options in the wmlscope tab evenly spaced

Browse source
This commit is contained in:
Elvish_Hunter 2014-05-27 23:25:45 +02:00
parent 5480cca466
commit e3fc8f13b8
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
data/tools/GUI.pyw
View file

@ -613,6 +613,11 @@ class WmlscopeTab(Frame):
self.options_frame.columnconfigure(0,weight=1)
self.options_frame.columnconfigure(2,weight=1)
self.options_with_regexp.columnconfigure(1,weight=1)
# uniform= makes the options in the options_with_regexp frame evenly sized
# please note that "regexp" is an ID of the widget group, not a special value
# you can replace "regexp" with "bacon" and it still works...
for row in range(5):
self.options_with_regexp.rowconfigure(row,uniform="regexp")
def exclude_callback(self):
if self.exclude_variable.get():
self.exclude_entry.configure(state=NORMAL)