2014-07-15 23:13:40 +01:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
<ui version="4.0">
|
|
|
|
<class>ExternalToolsPage</class>
|
|
|
|
<widget class="QWidget" name="ExternalToolsPage">
|
|
|
|
<property name="geometry">
|
|
|
|
<rect>
|
|
|
|
<x>0</x>
|
|
|
|
<y>0</y>
|
2014-07-20 22:47:46 +01:00
|
|
|
<width>673</width>
|
|
|
|
<height>751</height>
|
2014-07-15 23:13:40 +01:00
|
|
|
</rect>
|
|
|
|
</property>
|
|
|
|
<layout class="QVBoxLayout" name="verticalLayout">
|
2014-07-20 22:47:46 +01:00
|
|
|
<property name="leftMargin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<property name="topMargin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<property name="rightMargin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<property name="bottomMargin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
2014-07-15 23:13:40 +01:00
|
|
|
<item>
|
2014-07-20 22:47:46 +01:00
|
|
|
<widget class="QTabWidget" name="tabWidget">
|
|
|
|
<property name="currentIndex">
|
|
|
|
<number>0</number>
|
2014-07-15 23:13:40 +01:00
|
|
|
</property>
|
2014-07-20 22:47:46 +01:00
|
|
|
<widget class="QWidget" name="tab">
|
|
|
|
<attribute name="title">
|
2016-01-03 02:15:12 +00:00
|
|
|
<string notr="true">Tab 1</string>
|
2014-07-20 22:47:46 +01:00
|
|
|
</attribute>
|
|
|
|
<layout class="QVBoxLayout" name="verticalLayout_2">
|
|
|
|
<item>
|
|
|
|
<widget class="QGroupBox" name="groupBox_2">
|
|
|
|
<property name="title">
|
2016-01-03 02:15:12 +00:00
|
|
|
<string notr="true">JProfiler</string>
|
2014-07-20 22:47:46 +01:00
|
|
|
</property>
|
|
|
|
<layout class="QVBoxLayout" name="verticalLayout_10">
|
|
|
|
<item>
|
|
|
|
<layout class="QHBoxLayout" name="horizontalLayout_4">
|
|
|
|
<item>
|
|
|
|
<widget class="QLineEdit" name="jprofilerPathEdit"/>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QPushButton" name="jprofilerPathBtn">
|
|
|
|
<property name="text">
|
2016-01-03 02:15:12 +00:00
|
|
|
<string notr="true">...</string>
|
2014-07-20 22:47:46 +01:00
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QPushButton" name="jprofilerCheckBtn">
|
|
|
|
<property name="text">
|
|
|
|
<string>Check</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QLabel" name="jprofilerLink">
|
|
|
|
<property name="text">
|
2016-03-22 22:28:47 +00:00
|
|
|
<string notr="true"><html><head/><body><p><a href="http://www.ej-technologies.com/products/jprofiler/overview.html"><span style=" text-decoration: underline; color:#0000ff;">http://www.ej-technologies.com/products/jprofiler/overview.html</span></a></p></body></html></string>
|
2014-07-20 22:47:46 +01:00
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QGroupBox" name="groupBox_3">
|
|
|
|
<property name="title">
|
2016-01-03 02:15:12 +00:00
|
|
|
<string notr="true">JVisualVM</string>
|
2014-07-20 22:47:46 +01:00
|
|
|
</property>
|
|
|
|
<layout class="QVBoxLayout" name="verticalLayout_11">
|
|
|
|
<item>
|
|
|
|
<layout class="QHBoxLayout" name="horizontalLayout_5">
|
|
|
|
<item>
|
|
|
|
<widget class="QLineEdit" name="jvisualvmPathEdit"/>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QPushButton" name="jvisualvmPathBtn">
|
|
|
|
<property name="text">
|
2016-01-03 02:15:12 +00:00
|
|
|
<string notr="true">...</string>
|
2014-07-20 22:47:46 +01:00
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QPushButton" name="jvisualvmCheckBtn">
|
|
|
|
<property name="text">
|
|
|
|
<string>Check</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QLabel" name="jvisualvmLink">
|
|
|
|
<property name="text">
|
2017-07-07 00:28:58 +01:00
|
|
|
<string notr="true"><html><head/><body><p><a href="https://visualvm.github.io/"><span style=" text-decoration: underline; color:#0000ff;">https://visualvm.github.io/</span></a></p></body></html></string>
|
2014-07-20 22:47:46 +01:00
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QGroupBox" name="groupBox_4">
|
|
|
|
<property name="title">
|
2016-01-03 02:15:12 +00:00
|
|
|
<string notr="true">MCEdit</string>
|
2014-07-20 22:47:46 +01:00
|
|
|
</property>
|
|
|
|
<layout class="QVBoxLayout" name="verticalLayout_12">
|
|
|
|
<item>
|
|
|
|
<layout class="QHBoxLayout" name="horizontalLayout_6">
|
|
|
|
<item>
|
|
|
|
<widget class="QLineEdit" name="mceditPathEdit"/>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QPushButton" name="mceditPathBtn">
|
|
|
|
<property name="text">
|
2016-01-03 02:15:12 +00:00
|
|
|
<string notr="true">...</string>
|
2014-07-20 22:47:46 +01:00
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QPushButton" name="mceditCheckBtn">
|
|
|
|
<property name="text">
|
|
|
|
<string>Check</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QLabel" name="mceditLink">
|
|
|
|
<property name="text">
|
2016-03-22 22:28:47 +00:00
|
|
|
<string notr="true"><html><head/><body><p><a href="http://www.mcedit.net/"><span style=" text-decoration: underline; color:#0000ff;">http://www.mcedit.net/</span></a></p></body></html></string>
|
2014-07-20 22:47:46 +01:00
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QGroupBox" name="editorsBox">
|
|
|
|
<property name="title">
|
|
|
|
<string>External Editors (leave empty for system default)</string>
|
|
|
|
</property>
|
|
|
|
<layout class="QGridLayout" name="foldersBoxLayout_2">
|
|
|
|
<item row="0" column="1">
|
|
|
|
<widget class="QLineEdit" name="jsonEditorTextBox"/>
|
|
|
|
</item>
|
|
|
|
<item row="0" column="0">
|
|
|
|
<widget class="QLabel" name="labelJsonEditor">
|
|
|
|
<property name="text">
|
|
|
|
<string>Text Editor:</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item row="0" column="2">
|
|
|
|
<widget class="QToolButton" name="jsonEditorBrowseBtn">
|
|
|
|
<property name="text">
|
2016-01-03 02:15:12 +00:00
|
|
|
<string notr="true">...</string>
|
2014-07-20 22:47:46 +01:00
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<spacer name="verticalSpacer">
|
|
|
|
<property name="orientation">
|
|
|
|
<enum>Qt::Vertical</enum>
|
|
|
|
</property>
|
|
|
|
<property name="sizeHint" stdset="0">
|
|
|
|
<size>
|
|
|
|
<width>20</width>
|
|
|
|
<height>216</height>
|
|
|
|
</size>
|
|
|
|
</property>
|
|
|
|
</spacer>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
2014-07-15 23:13:40 +01:00
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
<resources/>
|
|
|
|
<connections/>
|
|
|
|
</ui>
|