Matthew Flatt
5b7bf69a13
HiDPI support on Unix (Gtk2)
...
Support GUI scaling in much the same way as on Windows, where
the OS setting ("org.gnome.desktop.interface.scaling-factor"
times "...text-scaling-factor") determines the scale that is
used for both graphics and GUI sizing.
As I understand it, a complete solution requires porting to
Gtk3. With Gtk2, the graphical part of a widget doesn't scale.
Text and image labels should scale correctly, though.
2015-08-01 18:06:12 -06:00
Jay McCarthy
6fa420d947
add get-scaled-client-size
2015-05-20 12:59:51 -04:00
Jay McCarthy
bc87ded206
adding version requirement for hires-mode
2015-05-19 14:59:33 -04:00
Matthew Flatt
030a02a53c
add {get,set}-area-selctable to pasetboard%
2015-05-16 09:05:22 -06:00
Robby Findler
ab998c9f53
add all-string-snips<%> and all-string-snips-mixin
...
This is pulled out of DrRacket, mostly just to be able to add test cases
2015-05-09 11:17:54 -05:00
Robby Findler
2517366ea3
bump version number for snip-special change
2015-05-02 17:50:28 -05:00
Robby Findler
cb651731d0
refactor to introduce compute-amount-to-indent
2015-04-17 11:37:09 -05:00
Robby Findler
e4e164ff82
bump version number so drracket can depend on changes in 134144a and 6ddf433
2015-04-10 17:11:42 -05:00
Robby Findler
7a3c102d1c
add pulled-point to 2htdp/image's core
2015-02-01 14:39:37 -06:00
Robby Findler
d0561137b5
extend curves in 2htdp/image so they can be filled
2015-01-10 19:43:13 -06:00
Robby Findler
9551380791
add after-set-port-unsaved-name and set-port-unsaved-name
2014-12-11 21:33:42 -06:00
Sam Tobin-Hochstadt
135e357a37
Remove extra directories.
2014-12-02 02:33:07 -05:00
