On Fri, Jun 1, 2018 at 6:46 PM, Sean P. DeNigris <sean@clipperadams.com> wrote:
Peter Uhnák wrote
Pharo adds 25px margin on all sides of a full-screen window.
Good point. I wonder why that's the case!
According to the github issue discussion, this is the case.
Peter Uhnák wrote
it provides the most important/common options that user needs
Ah! Good to know and interesting, but presumably very subjective.
For sure. But for an end-user application it is my responsibility to figure out the UI/UX.
Although it is currently flexible, I don't think we have that now.
The pragma collection can be filtered, but it is not used by the code, so it is all-or-nothing, not very flexible. I think this is for future iterations. Peter Uhnák wrote
very often I find myself having to move windows, just so I can expose a piece of desktop to click on.
Why don't you use the 25px margin?! ha ha j/k
This applies to fullscreen only. It doesn't apply when you manually move a window to this space. And for fullscreen, I often have the margin disabled. So that's why. :) Peter