[gtk+] statusbar: Remove margins in ui file
- From: Timm Bäder <baedert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gtk+] statusbar: Remove margins in ui file
- Date: Fri, 31 Mar 2017 07:56:02 +0000 (UTC)
commit 1a7cbddbd4e98e4641e690035013abbfaec130b0
Author: Timm Bäder <mail baedert org>
Date: Wed Feb 8 18:31:12 2017 +0100
statusbar: Remove margins in ui file
Widgets themselves shouldn't have margins assigned.
gtk/ui/gtkstatusbar.ui | 4 ----
1 files changed, 0 insertions(+), 4 deletions(-)
---
diff --git a/gtk/ui/gtkstatusbar.ui b/gtk/ui/gtkstatusbar.ui
index 3d56215..025ebe3 100644
--- a/gtk/ui/gtkstatusbar.ui
+++ b/gtk/ui/gtkstatusbar.ui
@@ -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>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]