diff --git a/src/apprt/gtk/Surface.zig b/src/apprt/gtk/Surface.zig index df5ce3533c..01d2a1d6e9 100644 --- a/src/apprt/gtk/Surface.zig +++ b/src/apprt/gtk/Surface.zig @@ -228,9 +228,9 @@ pub const URLWidget = struct { c.gtk_label_set_ellipsize(@ptrCast(left), c.PANGO_ELLIPSIZE_MIDDLE); c.gtk_widget_add_css_class(@ptrCast(left), "view"); c.gtk_widget_add_css_class(@ptrCast(left), "url-overlay"); + c.gtk_widget_add_css_class(@ptrCast(left), "left"); c.gtk_widget_set_halign(left, c.GTK_ALIGN_START); c.gtk_widget_set_valign(left, c.GTK_ALIGN_END); - c.gtk_widget_set_margin_bottom(left, 2); // Create the right const right = c.gtk_label_new(str.ptr); @@ -238,9 +238,9 @@ pub const URLWidget = struct { c.gtk_widget_add_css_class(@ptrCast(right), "hidden"); c.gtk_widget_add_css_class(@ptrCast(right), "view"); c.gtk_widget_add_css_class(@ptrCast(right), "url-overlay"); + c.gtk_widget_add_css_class(@ptrCast(right), "right"); c.gtk_widget_set_halign(right, c.GTK_ALIGN_END); c.gtk_widget_set_valign(right, c.GTK_ALIGN_END); - c.gtk_widget_set_margin_bottom(right, 2); // Setup our mouse hover event for the left const ec_motion = c.gtk_event_controller_motion_new(); diff --git a/src/apprt/gtk/style.css b/src/apprt/gtk/style.css index d9ac9abc3b..4b6873e855 100644 --- a/src/apprt/gtk/style.css +++ b/src/apprt/gtk/style.css @@ -1,11 +1,22 @@ label.url-overlay { - padding: 2px; + padding: 4px 8px 4px 8px; + outline-style: solid; + outline-color: #555555; + outline-width: 1px; } label.url-overlay:hover { opacity: 0; } +label.url-overlay.left { + border-radius: 0px 6px 0px 0px; +} + +label.url-overlay.right { + border-radius: 6px 0px 0px 0px; +} + label.url-overlay.hidden { opacity: 0; }