diff options
Diffstat (limited to 'desktop/uiconfig/ui/extensionmanager.ui')
| -rw-r--r-- | desktop/uiconfig/ui/extensionmanager.ui | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/desktop/uiconfig/ui/extensionmanager.ui b/desktop/uiconfig/ui/extensionmanager.ui index dca8e3e79d3c..7e35d02eaf01 100644 --- a/desktop/uiconfig/ui/extensionmanager.ui +++ b/desktop/uiconfig/ui/extensionmanager.ui @@ -75,6 +75,7 @@ <property name="top_padding">6</property> <property name="left_padding">12</property> <child> + <!-- n-columns=1 n-rows=1 --> <object class="GtkGrid" id="grid1"> <property name="visible">True</property> <property name="can_focus">False</property> @@ -308,6 +309,7 @@ </packing> </child> <child> + <!-- n-columns=1 n-rows=1 --> <object class="GtkGrid" id="grid3"> <property name="visible">True</property> <property name="can_focus">False</property> |