add border
parent
dba56902c5
commit
c981f9164d
|
@ -49,6 +49,15 @@
|
||||||
DBUS_REQUEST_NAME_REPLY_EXISTS
|
DBUS_REQUEST_NAME_REPLY_EXISTS
|
||||||
(error "already running")))
|
(error "already running")))
|
||||||
|
|
||||||
|
(let [css (: (io.open "styles.css") :read "*a")
|
||||||
|
style_provider (Gtk.CssProvider)]
|
||||||
|
(style_provider:load_from_data css)
|
||||||
|
(Gtk.StyleContext.add_provider_for_screen
|
||||||
|
(lgi.Gdk.Screen.get_default)
|
||||||
|
style_provider
|
||||||
|
Gtk.STYLE_PROVIDER_PRIORITY_APPLICATION
|
||||||
|
))
|
||||||
|
|
||||||
;; for each open message there is a widget
|
;; for each open message there is a widget
|
||||||
;; when a message is closed, we need to find its widget
|
;; when a message is closed, we need to find its widget
|
||||||
;; and remove it from the container
|
;; and remove it from the container
|
||||||
|
@ -64,6 +73,7 @@
|
||||||
(GtkLayerShell.init_for_window window)
|
(GtkLayerShell.init_for_window window)
|
||||||
(GtkLayerShell.set_layer window GtkLayerShell.Layer.TOP)
|
(GtkLayerShell.set_layer window GtkLayerShell.Layer.TOP)
|
||||||
(GtkLayerShell.auto_exclusive_zone_enable window)
|
(GtkLayerShell.auto_exclusive_zone_enable window)
|
||||||
|
|
||||||
(GtkLayerShell.set_margin window GtkLayerShell.Edge.TOP 1)
|
(GtkLayerShell.set_margin window GtkLayerShell.Edge.TOP 1)
|
||||||
(GtkLayerShell.set_margin window GtkLayerShell.Edge.BOTTOM 10)
|
(GtkLayerShell.set_margin window GtkLayerShell.Edge.BOTTOM 10)
|
||||||
|
|
||||||
|
|
|
@ -0,0 +1,10 @@
|
||||||
|
box#notification {
|
||||||
|
border-width: 1px;
|
||||||
|
border-style: solid;
|
||||||
|
margin: 2px 4px;
|
||||||
|
border-color: #999999;
|
||||||
|
padding: 4px;
|
||||||
|
}
|
||||||
|
label#summary {
|
||||||
|
font-weight: bold;
|
||||||
|
}
|
Loading…
Reference in New Issue