Wed, 19 Oct 2011 19:42:58 +0200
Made tasks manager forget about global file tasks when file is closed (configurable via configuration dialog).
<ui version="4.0" > <class>PluginManagerPage</class> <widget class="QWidget" name="PluginManagerPage" > <property name="geometry" > <rect> <x>0</x> <y>0</y> <width>507</width> <height>299</height> </rect> </property> <layout class="QGridLayout" > <item row="0" column="0" colspan="3" > <widget class="QLabel" name="headerLabel" > <property name="text" > <string><b>Configure plugin manager</b></string> </property> </widget> </item> <item row="1" column="0" colspan="3" > <widget class="Line" name="line9_2" > <property name="frameShape" > <enum>QFrame::HLine</enum> </property> <property name="frameShadow" > <enum>QFrame::Sunken</enum> </property> <property name="orientation" > <enum>Qt::Horizontal</enum> </property> </widget> </item> <item row="2" column="0" > <widget class="QLabel" name="label" > <property name="text" > <string>Plugins download directory:</string> </property> </widget> </item> <item row="2" column="1" > <widget class="QLineEdit" name="downloadDirEdit" > <property name="toolTip" > <string>Enter the plugins download directory</string> </property> </widget> </item> <item row="2" column="2" > <widget class="QPushButton" 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> <item row="3" column="0" colspan="3" > <widget class="QLabel" name="TextLabel1_2_2_2_3" > <property name="text" > <string><font color="#FF0000"><b>Note:</b> The following setting is activated at the next startup of the application.</font></string> </property> </widget> </item> <item row="4" column="0" colspan="3" > <widget class="QCheckBox" name="activateExternalPluginsCheckBox" > <property name="toolTip" > <string>Select to enable third party plugins to be loaded</string> </property> <property name="text" > <string>Load third party plugins</string> </property> </widget> </item> <item row="5" column="0" colspan="3" > <spacer> <property name="orientation" > <enum>Qt::Vertical</enum> </property> <property name="sizeHint" stdset="0" > <size> <width>435</width> <height>121</height> </size> </property> </spacer> </item> </layout> </widget> <tabstops> <tabstop>downloadDirEdit</tabstop> <tabstop>downloadDirButton</tabstop> <tabstop>activateExternalPluginsCheckBox</tabstop> </tabstops> <resources/> <connections/> </ui>