gui/gui-lib/mred/private/wx
Matthew Flatt 3be6a90ec7 GTK+3: fix scrolling panels
Use a GtkLayout instead of GtkFixed for the outer widget,
so that it isn't forced to a large allocation by its
children.
2015-08-21 11:50:46 -06:00
..
cocoa Cocoa: no child-window workaround in 10.10 (to avoid different bug) 2015-08-19 12:05:47 -06:00
common fix GC blit resizing 2015-08-19 11:59:29 -06:00
gtk GTK+3: fix scrolling panels 2015-08-21 11:50:46 -06:00
win32 add get-gl-client-size to canvas% 2015-08-18 15:10:02 -06:00
info.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
platform.rkt Support and prefer GTK+ 3 on Unix/X 2015-08-16 20:55:35 -06:00