diff options
| author | Caolán McNamara <caolanm@redhat.com> | 2013-06-05 13:25:58 +0100 |
|---|---|---|
| committer | Caolán McNamara <caolanm@redhat.com> | 2013-06-05 13:26:41 +0100 |
| commit | 65df76208a8ad5d7b6de22b7bcae14148271dc54 (patch) | |
| tree | 25a23acab4151c8f3f501bc8ece7fcf7a8d63bc1 /desktop/uiconfig | |
| parent | 04d9febcefc2bb18281828a4383f9b77f2bbd3ed (diff) | |
Related: fdo#65407 set a default size related to font size rather than pixels
Change-Id: I97ff54de97ca1e02aff2a94dc01f2e4991600cd5
Diffstat (limited to 'desktop/uiconfig')
| -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> |