diff options
| -rw-r--r-- | src/caja-file-management-properties.ui | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/src/caja-file-management-properties.ui b/src/caja-file-management-properties.ui index eefd82ac..f124a547 100644 --- a/src/caja-file-management-properties.ui +++ b/src/caja-file-management-properties.ui @@ -3063,6 +3063,32 @@ <property name="angle">0</property> </object> </child> + + + <child> + <object class="GtkVBox" id="plugin_manager_place_holder"> + <property name="visible">True</property> + <property name="border_width">12</property> + <property name="orientation">vertical</property> + <child> + <placeholder/> + </child> + </object> + <packing> + <property name="position">6</property> + </packing> + </child> + <child type="tab"> + <object class="GtkLabel" id="label39"> + <property name="visible">True</property> + <property name="label" translatable="yes">Plugins</property> + </object> + <packing> + <property name="position">3</property> + <property name="tab_fill">False</property> + </packing> + </child> + </object> <packing> <property name="padding">0</property> |