[totem] main: Remove 5 pixel-border around preferences
- From: Bastien Nocera <hadess src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [totem] main: Remove 5 pixel-border around preferences
- Date: Wed, 22 Jan 2014 18:13:57 +0000 (UTC)
commit b561f4b597d498f61d45c3ddee892dc44cc9c8e9
Author: Bastien Nocera <hadess hadess net>
Date: Wed Jan 22 19:13:17 2014 +0100
main: Remove 5 pixel-border around preferences
data/preferences.ui | 2 --
1 files changed, 0 insertions(+), 2 deletions(-)
---
diff --git a/data/preferences.ui b/data/preferences.ui
index 80310d8..baa89c9 100644
--- a/data/preferences.ui
+++ b/data/preferences.ui
@@ -102,7 +102,6 @@
</object>
<object class="GtkDialog" id="totem_preferences_window">
- <property name="border_width">5</property>
<property name="title" translatable="yes">Totem Preferences</property>
<property name="type">GTK_WINDOW_TOPLEVEL</property>
<property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
@@ -127,7 +126,6 @@
<child>
<object class="GtkNotebook" id="tpw_notebook">
- <property name="border_width">5</property>
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="show_tabs">True</property>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]