diff options
| author | Leandro Melo <leandro.melo@nokia.com> | 2011-02-28 12:59:49 +0100 |
|---|---|---|
| committer | Leandro Melo <leandro.melo@nokia.com> | 2011-02-28 14:37:26 +0100 |
| commit | f4c25ad53702f11a98dddf92dde01560c8e1e2a1 (patch) | |
| tree | 947d6d135760e4bcc05e148239b777ad31baf73f /src/plugins/texteditor/fontsettingspage.ui | |
| parent | e8d12ae4643ae735488ad9d5daf838ad8819b88e (diff) | |
Revert "More options dialog UI changes"
This reverts commit c5b57ea5f9927a0843d37c793788892a5131c1ee.
Diffstat (limited to 'src/plugins/texteditor/fontsettingspage.ui')
| -rw-r--r-- | src/plugins/texteditor/fontsettingspage.ui | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/plugins/texteditor/fontsettingspage.ui b/src/plugins/texteditor/fontsettingspage.ui index 3a96127bc7..c1d82eee29 100644 --- a/src/plugins/texteditor/fontsettingspage.ui +++ b/src/plugins/texteditor/fontsettingspage.ui @@ -174,12 +174,6 @@ <property name="enabled"> <bool>false</bool> </property> - <property name="sizePolicy"> - <sizepolicy hsizetype="Preferred" vsizetype="Preferred"> - <horstretch>0</horstretch> - <verstretch>0</verstretch> - </sizepolicy> - </property> <property name="toolTip"> <string>Delete</string> </property> |