[glade] Gladeui plugin: Disable box property on GladePropertyShell
- From: Tristan Van Berkom <tvb src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [glade] Gladeui plugin: Disable box property on GladePropertyShell
- Date: Sun, 5 May 2013 12:36:09 +0000 (UTC)
commit 421a98602a971332aeda47101ecb075027f6cd7c
Author: Tristan Van Berkom <tristan van berkom gmail com>
Date: Sun May 5 17:19:18 2013 +0900
Gladeui plugin: Disable box property on GladePropertyShell
plugins/gladeui/gladeui.xml | 3 +++
1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/plugins/gladeui/gladeui.xml b/plugins/gladeui/gladeui.xml
index de1d264..42918a5 100644
--- a/plugins/gladeui/gladeui.xml
+++ b/plugins/gladeui/gladeui.xml
@@ -51,10 +51,13 @@
<post-create-function>glade_glade_property_shell_post_create</post-create-function>
<properties>
<property id="editor-type" name="Editor Type" ignore="True"/>
+
+ <!-- Disable GtkBox stuff -->
<property id="orientation" disabled="True"/>
<property id="size" disabled="True"/>
<property id="spacing" disabled="True"/>
<property id="homogenous" disabled="True"/>
+ <property id="baseline-position" disabled="True"/>
</properties>
</glade-widget-class>
</glade-widget-classes>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]