[racket-users] Bug in table-panel% ?

2017-04-23 Thread Zelphir Kaltstahl
I am creating a little hobby project with Racket GUI classes. For that I got the following code, which creates a frame%: #lang racket/gui (require table-panel "vocabulary.rkt") (provide build-gui) (define (clear-children an-area-container) (for ([child (send an-area-container get-ch

Re: [racket-users] Bug in table-panel% ?

2017-04-23 Thread Matthew Flatt
It does look like a problem with `table-panel%`, which maybe doesn't work when an instance is created in parent a window that is already shown. You may be able to work around the problem by adding [style '(deleted)] to `(new table-panel% ...)`, and then (send tab-panel add-child table-pane

Re: [racket-users] Bug in table-panel% ?

2017-04-24 Thread Zelphir Kaltstahl
Yep, that workaround seems to work, thank you. I did not know about issues when deleting and adding children in an already shown widget/window. It's good to be aware, that such can make a difference. I noticed now, that although the GUI is still very fast, still being very small, it flickers a

[racket-users] Bug in table-panel% class, or in superclass?

2018-09-18 Thread David Storrs
The following is the example taken from the table-panel docs. ( https://docs.racket-lang.org/table-panel/index.html) It displays a frame with four sets of numeric keypads laid out in quadrants. If you expand the window, the expectation, based on the docs, is that spacing between buttons will rem