Re: [racket-users] GUI: clipping of controls fails on Linux but not on Windows

2016-05-19 Thread Dmitry Pavlov
Matthew, Second thought was to check the latest snapshot (d0d85b2, commit in racket/racket made ~3h later than yours in racket/gui). That did not work, too -- the commit of interest is not included into the snapshot. That should have worked, and it looks to me like the change is included in

Re: [racket-users] GUI: clipping of controls fails on Linux but not on Windows

2016-05-19 Thread Matthew Flatt
At Thu, 19 May 2016 14:30:08 +0300, Dmitry Pavlov wrote: > Thank you so much. I am eager to try this new feature. I can not figure > a good way to set it up on my machine. > I have Racket 6.5 release. My first thought was "let me try this new > package system": > > $ sudo raco pkg update gui >

Re: [racket-users] GUI: clipping of controls fails on Linux but not on Windows

2016-05-19 Thread Dmitry Pavlov
Matthew, On 05/19/2016 12:33 AM, Matthew Flatt wrote: There's not a good way to do this outside the primitives, because it's a matter of selecting the right GTK widgets. I've added 'hide-hscroll and 'hide-vscroll, which are like 'hscroll and 'vscroll (i.e., they allow the panel's size to be

Re: [racket-users] GUI: clipping of controls fails on Linux but not on Windows

2016-05-18 Thread Matthew Flatt
There's not a good way to do this outside the primitives, because it's a matter of selecting the right GTK widgets. I've added 'hide-hscroll and 'hide-vscroll, which are like 'hscroll and 'vscroll (i.e., they allow the panel's size to be smaller than its content) but never show the corresponding

Re: [racket-users] GUI: clipping of controls fails on Linux but not on Windows

2016-05-18 Thread Dmitry Pavlov
Matthew, > One possible fix is to add the 'hscroll style to the horizontal panel. > That change moves the program into "defined behavior" territory, since > a scrolling panel allows its content to be wider than itself. I just tried that and I see that it shows a scrollbar under the panel that I

Re: [racket-users] GUI: clipping of controls fails on Linux but not on Windows

2016-05-18 Thread Matthew Flatt
That is indeed in "undefined behavior" territory for the GUI library, because `racket/gui` doesn't pin down what happens when widgets overlap (including panels and buttons). One possible fix is to add the 'hscroll style to the horizontal panel. That change moves the program into "defined

[racket-users] GUI: clipping of controls fails on Linux but not on Windows

2016-05-18 Thread Dmitry Pavlov
Hello, I would like to report two GUI issues; I do not know is they are related or not. I ran against those issues while working on spreadsheet-editor. The task is to clip a row of buttons (column buttons in my spreadsheet). Below I reproduce the issue using a simpler configuration than I use