simon-git: putty (main): Simon Tatham

[Commits to Tartarus hosted VCS]

TL;DR:
  31ab5b8e Windows: respect CONF_window_border when maximised.

Repository:     https://git.tartarus.org/simon/putty.git
On the web:     https://git.tartarus.org/?p=simon/putty.git
Branch updated: main
Committer:      Simon Tatham <anakin at pobox.com>
Date:           2024-09-23 13:39:19

commit 31ab5b8e3083d66fdfd9a243029c8bfc1a7a4b40
web diff https://git.tartarus.org/?p=simon/putty.git;a=commitdiff;h=31ab5b8e3083d66fdfd9a243029c8bfc1a7a4b40;hp=20a6274d24c0c6a6bd9f22accb2ffe9de28da75d
Author: Simon Tatham <anakin at pobox.com>
Date:   Mon Sep 23 11:02:44 2024 +0100

    Windows: respect CONF_window_border when maximised.
    
    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.

 windows/window.c | 18 ++++++++++++------
 1 file changed, 12 insertions(+), 6 deletions(-)