Matthew Flatt 9058a148f8 another try at fixing graphics for GTK+ 3 ... The `gdk_window_ensure_native` call for window freeze and thaw really is needed, but since it is incompatible with transparent canvases, don't use freeze and thaw at all for those. Meanwhile, repair the backing bitmap for both GTK+ 2 and 3 for a transparent canvas when a scale is in effect. And go back to using X11 bitmaps for backing a canvas on GTK+ 3; I'm not sure that's the right choice, but probably putting the bitmap data on the X server instead of client is the right thing. Finally, restore GL bitmap support (partly by using X11 bitmaps to back a canvas). GL rendering to a canvas with a backing scale is not yet right, either for GTK+ 2 or 3.		2015-08-18 09:01:28 -06:00
dconf	add PLT_DISPLAY_BACKING_SCALE	2015-08-03 20:44:29 -06:00
gui	Remove extra directories.	2014-12-02 02:33:07 -05:00
gui-doc	clarify PLT_DISPLAY_BACKING_SCALE interaction with GTK+ 2/3	2015-08-17 06:05:58 -06:00
gui-lib	another try at fixing graphics for GTK+ 3	2015-08-18 09:01:28 -06:00
gui-test	Use a regular expression to indent for loops in framework	2015-08-02 22:08:52 -05: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