mirror of
https://github.com/kovidgoyal/kitty.git
synced 2026-10-21 20:52:19 +00:00
fix: edge=none panel height shrinks with margin_top on macOS (issue #10278)
This commit is contained in:
parent
43478ffed9
commit
154da55152
2 changed files with 7 additions and 1 deletions
|
|
@ -190,6 +190,8 @@ Detailed list of changes
|
|||
|
||||
- Wayland: fix using remote control to resize OS windows on some tiling compositors leading to broken rendering
|
||||
|
||||
- macOS: fix ``edge=none`` panel height shrinking when ``margin_top`` is non-zero in the panel/quick-access-terminal kittens (:iss:`10278`)
|
||||
|
||||
|
||||
0.48.0 [2026-07-18]
|
||||
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
||||
|
|
|
|||
|
|
@ -2799,7 +2799,11 @@ _glfwPlatformSetLayerShellConfig(_GLFWwindow* window, const GLFWLayerShellConfig
|
|||
if (height < 1.) height = NSHeight(placement_frame);
|
||||
}
|
||||
|
||||
if (config.edge != GLFW_EDGE_CENTER_SIZED) {
|
||||
if (config.edge == GLFW_EDGE_NONE) {
|
||||
// For edge=none the panel has a fixed size; margins only translate its position
|
||||
x += config.requested_left_margin;
|
||||
y -= config.requested_top_margin;
|
||||
} else if (config.edge != GLFW_EDGE_CENTER_SIZED) {
|
||||
x += config.requested_left_margin; width -= config.requested_left_margin + config.requested_right_margin;
|
||||
y += config.requested_bottom_margin; height -= config.requested_top_margin + config.requested_bottom_margin;
|
||||
}
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue