search

digego / extempore

A cyber-physical programming environment
1.41k stars 127 forks source link

Make GUI Window Resizable #285

Closed kroll-j closed 8 years ago

kroll-j commented 8 years ago

This makes the GUI window contents resize according to window size. Also corrected a few comments, removed unused local vars. Like the other one, tested and works for me.

kroll-j commented 8 years ago

Also fixes pixel rounding errors which sometimes show edges at widget boundaries.