From ecdb0a74b01a5c64173c71c56d3a15b3bb136557 Mon Sep 17 00:00:00 2001 From: Mitchell Hashimoto Date: Sat, 6 Jul 2024 15:09:59 -0700 Subject: [PATCH] apprt/gtk: style the overlay --- src/apprt/gtk/Surface.zig | 2 ++ src/apprt/gtk/style.css | 3 +++ 2 files changed, 5 insertions(+) diff --git a/src/apprt/gtk/Surface.zig b/src/apprt/gtk/Surface.zig index f6ecce8ec..d47bc9800 100644 --- a/src/apprt/gtk/Surface.zig +++ b/src/apprt/gtk/Surface.zig @@ -917,6 +917,8 @@ pub fn mouseOverLink(self: *Surface, uri_: ?[]const u8) void { // Create the widget const label = c.gtk_label_new(uriZ.ptr); + c.gtk_widget_add_css_class(@ptrCast(label), "view"); + c.gtk_widget_add_css_class(@ptrCast(label), "url-overlay"); c.gtk_widget_set_halign(label, c.GTK_ALIGN_START); c.gtk_widget_set_valign(label, c.GTK_ALIGN_END); c.gtk_widget_set_margin_bottom(label, 2); diff --git a/src/apprt/gtk/style.css b/src/apprt/gtk/style.css index e69de29bb..6857b15bf 100644 --- a/src/apprt/gtk/style.css +++ b/src/apprt/gtk/style.css @@ -0,0 +1,3 @@ +label.url-overlay { + padding: 2px; +}