mirror of
https://github.com/ghostty-org/ghostty.git
synced 2025-05-05 15:33:00 +00:00
Merge pull request #2094 from jcollie/gtk-url-overlay-pretty
gtk: prettify the url overlays
This commit is contained in:
commit
93c377c6a1
@ -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();
|
||||
|
@ -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;
|
||||
}
|
||||
|
Loading…
x
Reference in New Issue
Block a user