mirror of
https://git.tartarus.org/simon/putty.git
synced 2025-06-02 01:40:29 -05:00
31ab5b8e30
The code in the 'if (IsZoomed)' statement in reset_window() was failing to take account of the user-configured gap between the text and the window edge, so that the requested border was lost. Now it does take that into account. In this commit, this change of behaviour applies to both a normally maximised window (with the window frame still visible round the edge) and to a full-screen window (nothing visible on the whole monitor except PuTTY). I'm not 100% sure whether that's the right behaviour: perhaps the purpose of this configurable border is to space the text away from the window furniture, so that there's no need for it if there isn't any furniture? But on the other hand, one thing _I_ use this border for is to make space round the edge of a terminal window for the green border Zoom superimposes when sharing the window. And that's a use case that would still make sense when the window is full-screened.