GUI resolution

[interrogator]

It seems that the GUI is poorly sized on some screens. Tkinter doesn't do a lot to make this automatically fixable, but it's still something that can be addressed. Watch this space!

[interrogator]

077dc40 is some basic progress on this. If your screen height is under 800 pixels, some panes get shorter to accommodate. Horizontal scaling is also starting to happen. If anybody is having issues relating to resolution (i.e. @alischinsky), please feel free to take a screenshot and tell me your dimensions.

[alischinsky]

It seems that Tkinter's grid_configure() chokes on a negative pad value when calculating the distance between the left and right button sets in the conc pane. Traceback here

[interrogator]

My bad. I did something foolish, too late last night. Gimme 10 mins and I should have something that doesn't crash for you.

[interrogator]

@alischinsky ad778bf should fix the conc pane.

[alischinsky]

Pad value has changed (it's now -703), but the same TclError occurs.

[interrogator]

Whoops, there was a typo in the failsafe, which was just to set the distance to 250, which should be alright for most people. That grid needs to be rewritten, but 0ec9d87 should hold until I've got more time.

[alischinsky]

Confirmed working.

[interrogator]

Awesome. Feel free to take screenshots of the tool and give me your resolution so I can try to improve it!