[Req] Don't resize window when it's maximized/zoomed

[ono]

I am using option [X] Adjust window size on zooming which is generally ok, but I often want to work with single file and have big border around, so I zoom/maximize it (the green button on Mac). Unfortunately PL resizes the window when zooming in/out when maximized.

Can we make PL don't touch window size when zoomed, aka cocoa -[NSWindow isZoomed] ?

[Martin Huber]

I am using option [X] Adjust window size on zooming which is generally ok, but I often want to work with single file and have big border around, so I zoom/maximize it (the green button on Mac). Unfortunately PL resizes the window when zooming in/out when maximized.

Can we make PL don't touch window size when zoomed, aka cocoa -[NSWindow isZoomed] ?

Well, I can do that.
But the "zoomed" state in Mac OS is not really a state but just a test whether the window has reached its maximum size. So if you have turned on "Adjust window size on zooming", a window can get the "zoomed" state by simply zooming in with Cmd+"+". And with your suggestion implemented a following zoom out (Cmd+"-") will not reduce the window size.

Martin

[ono]

So if you have turned on "Adjust window size on zooming", a window can get the "zoomed" state by simply zooming in with Cmd+"+". And with your suggestion implemented a following zoom out (Cmd+"-") will not reduce the window size.

Hmm... yeah you're right, zoomed means window is at maximum size, but it's "maximized". I guess then it would be better to leave it as it is. However then would be nice if maybe the automatic size adjust would also account edge width set in Display > Document.

Currently it doesn't so even there's a space to zoom we get scrollbars, even there's still space on the screen.

zoom.png

[Martin Huber]

However then would be nice if maybe the automatic size adjust would also account edge width set in Display > Document.

I am not sure, that this is what most people want. Before changing that behavior, I'd like to hear the opinion of other users.

Martin