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