diff options
Diffstat (limited to 'desktop/uiconfig/ui/extensionmanager.ui')
| -rw-r--r-- | desktop/uiconfig/ui/extensionmanager.ui | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/desktop/uiconfig/ui/extensionmanager.ui b/desktop/uiconfig/ui/extensionmanager.ui index d94995735e93..2f10a0bb8893 100644 --- a/desktop/uiconfig/ui/extensionmanager.ui +++ b/desktop/uiconfig/ui/extensionmanager.ui @@ -89,8 +89,6 @@ <property name="spacing">12</property> <child> <object class="deploymentgui-ExtBoxWithBtns" id="extensions"> - <property name="width_request">600</property> - <property name="height_request">320</property> <property name="visible">True</property> <property name="can_focus">False</property> </object> |