Warning, /education/marble/src/lib/marble/MarblePluginSettingsWidget.ui is written in an unsupported language. File is not indexed. 

0001 <?xml version="1.0" encoding="UTF-8"?>
0002 <ui version="4.0">
0003  <class>MarblePluginSettingsWidget</class>
0004  <widget class="QWidget" name="MarblePluginSettingsWidget">
0005   <property name="geometry">
0006    <rect>
0007     <x>0</x>
0008     <y>0</y>
0009     <width>425</width>
0010     <height>302</height>
0011    </rect>
0012   </property>
0013   <layout class="QVBoxLayout">
0014    <item>
0015     <widget class="QGroupBox" name="groupBox_plugins">
0016      <property name="toolTip">
0017       <string>&lt;!DOCTYPE HTML PUBLIC &quot;-//W3C//DTD HTML 4.0//EN&quot; &quot;http://www.w3.org/TR/REC-html40/strict.dtd&quot;&gt;
0018 &lt;html&gt;&lt;head&gt;&lt;meta name=&quot;qrichtext&quot; content=&quot;1&quot; /&gt;&lt;style type=&quot;text/css&quot;&gt;
0019 p, li { white-space: pre-wrap; }
0020 &lt;/style&gt;&lt;/head&gt;&lt;body style=&quot; font-family:'DejaVu Sans'; font-size:9pt; font-weight:400; font-style:normal;&quot;&gt;
0021 &lt;p style=&quot; margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;&quot;&gt;&lt;span style=&quot; font-family:'Sans Serif';&quot;&gt;This is Marble's machine room for advanced users. Here you can select and deselect the functionality that is provided through plugins. &lt;/span&gt;&lt;/p&gt;
0022 &lt;p style=&quot; margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;&quot;&gt;&lt;span style=&quot; font-family:'Sans Serif';&quot;&gt;Deselecting a plugin will remove the functionality from the map, menus and toolbars. &lt;/span&gt;&lt;/p&gt;
0023 &lt;p style=&quot; margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;&quot;&gt;&lt;span style=&quot; font-family:'Sans Serif';&quot;&gt;Also some of the plugins might allow for tweaking their configuration a bit. &lt;/span&gt;&lt;/p&gt;&lt;/body&gt;&lt;/html&gt;</string>
0024      </property>
0025      <property name="title">
0026       <string>P&amp;lugins</string>
0027      </property>
0028      <layout class="QVBoxLayout">
0029       <item>
0030        <widget class="QListView" name="m_pluginListView"/>
0031       </item>
0032      </layout>
0033     </widget>
0034    </item>
0035   </layout>
0036  </widget>
0037  <resources/>
0038  <connections/>
0039 </ui>