mirror of
https://gitlab.gnome.org/GNOME/gtk.git
synced 2024-12-29 06:51:10 +00:00
statusbar: Remove margins in ui file
Widgets themselves shouldn't have margins assigned.
This commit is contained in:
parent
0153147ca2
commit
1a7cbddbd4
@ -3,10 +3,6 @@
|
||||
<!-- interface-requires gtk+ 3.10 -->
|
||||
<template class="GtkStatusbar" parent="GtkBox">
|
||||
<property name="spacing">2</property>
|
||||
<property name="margin-start">10</property>
|
||||
<property name="margin-end">10</property>
|
||||
<property name="margin-top">6</property>
|
||||
<property name="margin-bottom">6</property>
|
||||
<child>
|
||||
<object class="GtkFrame" id="frame">
|
||||
<property name="shadow-type">none</property>
|
||||
|
Loading…
Reference in New Issue
Block a user