tooltip: Replace hard-coded margins with theme

So we can easily adjust the widget sizing in the theme.
This commit is contained in:
nana-4 2020-08-15 22:44:03 +09:00
parent 303e023c36
commit 9b42edbef4
2 changed files with 5 additions and 6 deletions

View File

@ -3604,10 +3604,14 @@ tooltip {
color: white;
}
padding: 4px;
padding: 10px;
border-radius: 5px;
box-shadow: none; // otherwise it gets inherited by windowframe.csd
text-shadow: 0 1px black;
> box {
border-spacing: 6px;
}
}

View File

@ -6,11 +6,6 @@
</style>
<child>
<object class="GtkBox" id="box">
<property name="spacing">6</property>
<property name="margin-top">6</property>
<property name="margin-bottom">6</property>
<property name="margin-start">6</property>
<property name="margin-end">6</property>
<child>
<object class="GtkImage" id="image">
<property name="icon-name">image-missing</property>