diff --git a/src/style.css b/src/style.css index fb8e8a3..f8fa650 100644 --- a/src/style.css +++ b/src/style.css @@ -53,3 +53,20 @@ port-handle { border-radius: 50%; background-color: @media-type-unknown; } + +button.rounded { + padding: 6px; + border-radius: 9999px; +} + +entry.rounded { + border-radius: 9999px; +} + +entry.rounded > :first-child { + padding-left: 12px; +} + +entry.rounded > :nth-child(2) { + padding-right: 12px; +} diff --git a/src/ui/graph/zoomentry.rs b/src/ui/graph/zoomentry.rs index 6c6a951..667236b 100644 --- a/src/ui/graph/zoomentry.rs +++ b/src/ui/graph/zoomentry.rs @@ -34,6 +34,7 @@ mod imp { menu.append(Some("200%"), Some("win.set-zoom(2.0)")); menu.append(Some("300%"), Some("win.set-zoom(3.0)")); let popover = gtk::PopoverMenu::from_model(Some(&menu)); + popover.set_position(gtk::PositionType::Top); ZoomEntry { graphview: Default::default(), diff --git a/src/ui/graph/zoomentry.ui b/src/ui/graph/zoomentry.ui index 975e971..def1a6a 100644 --- a/src/ui/graph/zoomentry.ui +++ b/src/ui/graph/zoomentry.ui @@ -1,26 +1,37 @@ - \ No newline at end of file + diff --git a/src/ui/window.ui b/src/ui/window.ui index ef2b72b..22d72f1 100644 --- a/src/ui/window.ui +++ b/src/ui/window.ui @@ -20,19 +20,9 @@ - - 6 - - - graph - - - - - open-menu-symbolic - primary_menu - - + + open-menu-symbolic + primary_menu @@ -44,11 +34,24 @@ - + - - true - true + + + + true + true + + + + + + + graph + end + end + 24 + 24