mirrors/ghostty
1
0
Fork 0
mirror of https://github.com/ghostty-org/ghostty.git synced 2026-01-09 23:03:26 +00:00
Code Issues Packages Projects Releases Wiki Activity

gtk: support GTK 4.20 media queries in runtime & custom css (#9520)

Browse Source
This commit is contained in:
Mitchell Hashimoto
2025-12-10 12:55:25 -08:00
committed by GitHub
parent 3ca6617a18 f1ab3b20ae
commit 581ed72efc
8 changed files with 51 additions and 43 deletions
Download Patch File Download Diff File Expand all files Collapse all files

22
src/apprt/gtk/class/application.zig
View File

@@ -1583,7 +1583,7 @@ pub const Application = extern struct {
.dark;
log.debug("style manager changed scheme={}", .{scheme});
const priv = self.private();
const priv: *Private = self.private();
const core_app = priv.core_app;
core_app.colorSchemeEvent(self.rt(), scheme) catch |err| {
log.warn("error updating app color scheme err={}", .{err});
@@ -1596,6 +1596,26 @@ pub const Application = extern struct {
);
};
}
if (gtk_version.atLeast(4, 20, 0)) {
const gtk_scheme: gtk.InterfaceColorScheme = switch (scheme) {
.light => gtk.InterfaceColorScheme.light,
.dark => gtk.InterfaceColorScheme.dark,
};
var value = gobject.ext.Value.newFrom(gtk_scheme);
gobject.Object.setProperty(
priv.css_provider.as(gobject.Object),
"prefers-color-scheme",
&value,
);
for (priv.custom_css_providers.items) |css_provider| {
gobject.Object.setProperty(
css_provider.as(gobject.Object),
"prefers-color-scheme",
&value,
);
}
}
}
fn handleReloadConfig(