Applied-Software/ghostty
5
0
Fork 0
mirror of https://github.com/ghostty-org/ghostty.git synced 2025-07-14 15:56:13 +03:00
Code Issues Packages Projects Releases Wiki Activity

apprt/gtk: make window-decoration=false with gtk-titlebar=true look better (#3999)

Browse Source 
Before this change, there seemed to be some artifacting in the window
corners due to the window border no longer outlining the content
properly. By detecting the situation, we can turn the window border
radius off.
This commit is contained in:
Mitchell Hashimoto
2024-12-29 21:01:01 -08:00
committed by GitHub
parent 3059d9036b 31c9a2fe59
commit d2d6f8b9f4
2 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/apprt/gtk/App.zig
View File

@ -972,6 +972,9 @@ fn loadRuntimeCss(
const headerbar_foreground = config.@"window-titlebar-foreground" orelse config.foreground; const headerbar_foreground = config.@"window-titlebar-foreground" orelse config.foreground;
try writer.print( try writer.print(
\\window.without-window-decoration-and-with-titlebar {{
\\ border-radius: 0 0;
\\}}
\\widget.unfocused-split {{ \\widget.unfocused-split {{
\\ opacity: {d:.2}; \\ opacity: {d:.2};
\\ background-color: rgb({d},{d},{d}); \\ background-color: rgb({d},{d},{d});

5
src/apprt/gtk/Window.zig
View File

@ -209,6 +209,11 @@ pub fn init(self: *Window, app: *App) !void {
// If we are disabling decorations then disable them right away. // If we are disabling decorations then disable them right away.
if (!app.config.@"window-decoration") { if (!app.config.@"window-decoration") {
c.gtk_window_set_decorated(gtk_window, 0); c.gtk_window_set_decorated(gtk_window, 0);
// Fix any artifacting that may occur in window corners.
if (app.config.@"gtk-titlebar") {
c.gtk_widget_add_css_class(window, "without-window-decoration-and-with-titlebar");
}
} }
// In debug we show a warning and apply the 'devel' class to the window. // In debug we show a warning and apply the 'devel' class to the window.