diff options
| author | Tristan Van Berkom <tristan.van.berkom@gmail.com> | 2013-05-12 19:29:59 +0900 |
|---|---|---|
| committer | Tristan Van Berkom <tristan.van.berkom@gmail.com> | 2013-05-12 19:29:59 +0900 |
| commit | c733d592a83cfcc0c2c898c0fc6abafd1398d44b (patch) | |
| tree | f4c77e42d6a0a731341a99cc19fd6889a3482a79 /plugins/gtk-private | |
| parent | 0cca1d2ee9cbee859b416bbc8472026ed6b8a44b (diff) | |
| download | glade-c733d592a83cfcc0c2c898c0fc6abafd1398d44b.tar.gz | |
GladeButtonEditor: Added an extension port for derived editors to add properties
Diffstat (limited to 'plugins/gtk-private')
| -rw-r--r-- | plugins/gtk-private/glade-gtk-private.xml | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/plugins/gtk-private/glade-gtk-private.xml b/plugins/gtk-private/glade-gtk-private.xml index b1737979..4f7abfd6 100644 --- a/plugins/gtk-private/glade-gtk-private.xml +++ b/plugins/gtk-private/glade-gtk-private.xml @@ -5,8 +5,6 @@ <!-- Editors to use in our GTK+ plugin --> <glade-widget-class name="GladeActivatableEditor" generic-name="activatableeditor" title="Activatable Editor" icon-name="widget-gtk-action"/> - <glade-widget-class name="GladeButtonEditor" generic-name="buttoneditor" title="Button Editor" - icon-name="widget-gtk-button"/> <glade-widget-class name="GladeFileChooserEditor" generic-name="filechoosereditor" title="File Chooser Editor" icon-name="widget-gtk-filechooserwidget"/> <glade-widget-class name="GladeFontChooserEditor" generic-name="fontchoosereditor" title="Font Chooser Editor" @@ -45,6 +43,16 @@ </internal-children> </glade-widget-class> + <glade-widget-class name="GladeButtonEditor" generic-name="buttoneditor" title="Button Editor" + icon-name="widget-gtk-button"> + <post-create-function>glade_button_editor_post_create</post-create-function> + <properties> + <property id="size" disabled="True"/> + </properties> + <internal-children> + <object name="extension_port" anarchist="True"/> + </internal-children> + </glade-widget-class> </glade-widget-classes> <glade-widget-group name="glade-gtk-plugin" title="GTK+ Plugin Editors"> |