Preferences/ConfigurationPages/PluginManagerPage.ui

changeset 3186
a05eff845522
parent 3113
2780e230f129
child 3200
83bde5e6f146
--- a/Preferences/ConfigurationPages/PluginManagerPage.ui	Tue Jan 07 18:08:40 2014 +0100
+++ b/Preferences/ConfigurationPages/PluginManagerPage.ui	Wed Jan 08 19:07:23 2014 +0100
@@ -6,7 +6,7 @@
    <rect>
     <x>0</x>
     <y>0</y>
-    <width>507</width>
+    <width>528</width>
     <height>299</height>
    </rect>
   </property>
@@ -48,13 +48,10 @@
       </widget>
      </item>
      <item>
-      <widget class="QPushButton" name="downloadDirButton">
+      <widget class="QToolButton" name="downloadDirButton">
        <property name="toolTip">
         <string>Select the plugins download directory via a directory selection dialog</string>
        </property>
-       <property name="text">
-        <string>...</string>
-       </property>
       </widget>
      </item>
     </layout>

eric ide

mercurial