Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

win32: add an option to control window title bar state #11469

Merged
merged 7 commits into from
Sep 21, 2023

Commits on Sep 21, 2023

  1. Configuration menu
    Copy the full SHA
    7005b70 View commit details
    Browse the repository at this point in the history
  2. win32: reduce top border thickness to imitate DWM invisible borders

    DWM makes part of left, right and bottom border invisible.
    kasper93 committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    9daa2bb View commit details
    Browse the repository at this point in the history
  3. win32: fix fit_window_on_screen to account for invisible borders

    Fixes too small initial window size.
    kasper93 committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    e4199f4 View commit details
    Browse the repository at this point in the history
  4. win32: add --window-corners

    Allows to set preference for window corners rounding for DWM.
    kasper93 committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    5a15895 View commit details
    Browse the repository at this point in the history
  5. win32: set window_corners to default for fullscreen

    I don't think in fullscreen mode it makes sense to enable rounded corners.
    We can add another option if someone needs it, but for now `window_corners`
    affects only the window as one would expect.
    kasper93 committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    a549630 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    1b3f645 View commit details
    Browse the repository at this point in the history
  7. win32: don't remove WS_CAPTION from style

    Apparently removing WS_CAPTION disables some window animations. Instead
    adjust non-client area to not draw title bar.
    
    Note that we do not account for difference in real border size and
    invisible one, but seems to work correctly.
    kasper93 committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    b521dd4 View commit details
    Browse the repository at this point in the history