racket/doc/release-notes/drracket
Robby Findler 0f9674e1dd adjust drracket window size and position preferences to use a different key
This will make switching back and forth between 5.1.3 and the latest
not lose the frame size and position preferences (since the format
of the data is different now that the current release remembers
the position on a per-monitor-configuration basis)
2013-01-01 11:26:05 -06:00
..
HISTORY.txt adjust drracket window size and position preferences to use a different key 2013-01-01 11:26:05 -06:00