Matthew Flatt 91a1ab52c3 GTK 3: try yet again to make panels work right ... To enable mouse events to a panel, go back to using a GtkEventBox for a panel, but make it non-visible so that it doesn't interfere with the parent's background color. The extra layers added in the previous commit are still important to avoid turning that into a native window (which can completely breaks background drawing). Finally, add an extra layer just around tab panels so that events get delivered to the tabs. (It's possible that the extra layer will make the background wrong just around the tabs, if the tabs don't fill the area above the panel; too bad.)		2015-08-21 08:31:48 -06:00
gui	Remove extra directories.	2014-12-02 02:33:07 -05:00
gui-doc	Fix docs to use new names.	2015-08-18 16:41:25 -05:00
gui-lib	GTK 3: try yet again to make panels work right	2015-08-21 08:31:48 -06:00
gui-test	remove unnecessary finalization (GTK+ 3)	2015-08-18 10:58:13 -06:00
tex-table	add \langle and \rangle	2015-02-12 11:22:10 -06:00
.gitignore	Add standard .gitignore file.	2014-12-06 17:46:34 -05:00