summaryrefslogtreecommitdiff
path: root/desktop/uiconfig/ui/extensionmanager.ui
diff options
context:
space:
mode:
authorCaolán McNamara <caolanm@redhat.com>2013-06-05 13:25:58 +0100
committerCaolán McNamara <caolanm@redhat.com>2013-06-05 13:26:41 +0100
commit65df76208a8ad5d7b6de22b7bcae14148271dc54 (patch)
tree25a23acab4151c8f3f501bc8ece7fcf7a8d63bc1 /desktop/uiconfig/ui/extensionmanager.ui
parent04d9febcefc2bb18281828a4383f9b77f2bbd3ed (diff)
Related: fdo#65407 set a default size related to font size rather than pixels
Change-Id: I97ff54de97ca1e02aff2a94dc01f2e4991600cd5
Diffstat (limited to 'desktop/uiconfig/ui/extensionmanager.ui')
-rw-r--r--desktop/uiconfig/ui/extensionmanager.ui2
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>