Yes, when I put on my pragmatic thinking hat, I certainly agree with you.
But it also makes me think about whether I should create a utility library
which does a more abstracted window placement and restoring.
That library would care more about logical "human" positioning and for
example snap to
On Monday, December 2, 2019 at 12:58:39 AM UTC+8, Simon Schlee wrote:
>
> created an issue for this:
> https://github.com/racket/gui/issues/149
>
Based on you description, it seems that the window manager you use on Linux
will adjust the window position to make room for the border, but this
created an issue for this:
https://github.com/racket/gui/issues/149
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to racket-users+unsubscr...@googlegroups.com.
3 matches
Mail list logo