placessidebar: 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:45:39 +09:00
parent 9b42edbef4
commit 19c2cc1296
3 changed files with 12 additions and 5 deletions

View File

@ -394,14 +394,11 @@ list_box_header_func (GtkListBoxRow *row,
else
{
before_section_type = SECTION_INVALID;
gtk_widget_set_margin_top (GTK_WIDGET (row), 4);
}
if (before && before_section_type != row_section_type)
{
separator = gtk_separator_new (GTK_ORIENTATION_HORIZONTAL);
gtk_widget_set_margin_top (separator, 4);
gtk_widget_set_margin_bottom (separator, 4);
gtk_list_box_row_set_header (row, separator);
}
}

View File

@ -3389,6 +3389,18 @@ row image.sidebar-icon { opacity: $_placesidebar_icons_opacity; } // dim the sid
placessidebar, .navigation-sidebar {
> scrolledwindow.frame { border-style: none; }
list {
padding: 4px 0;
> row {
margin: 1px 0;
}
> separator {
margin: 4px 0;
}
}
row {
// Needs overriding of the GtkListBoxRow padding
min-height: 36px;

View File

@ -1,8 +1,6 @@
<?xml version="1.0" encoding="UTF-8"?>
<interface domain="gtk40">
<template class="GtkSidebarRow" parent="GtkListBoxRow">
<property name="margin-top">1</property>
<property name="margin-bottom">1</property>
<property name="focus-on-click">False</property>
<style>
<class name="sidebar-row"/>