Go to file
Matthew Flatt 4ad4792778 raise GUI size limit to 1000000
Add `dimension-integer?', `position-integer?',
`spacing-integer?', and `positive-dimension-integer?' to make
the documentation, especially, more parameterized over the
limit.

Also, make the slider limits match the dimension/position limit,
since they're often related.

Things go wrong with, for example, a canvas that is
larger than 32k in a dimension. It looks like there's
a problem on each platform, although not exactly the
same problem. Meanwhile, even larger scrollable panels
can work ok on platforms other than Windows.

Closes PR 13849

original commit: 2b1b8696f02fa59dea4278c2786fd21444204fc5
2013-08-08 17:49:34 -07:00
pkgs raise GUI size limit to 1000000 2013-08-08 17:49:34 -07:00