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">
|
2022-04-21 23:20:54 +01:00
|
|
|
<string notr="true">J&Profiler</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">
|
2018-11-02 12:04:08 +00:00
|
|
|
<string notr="true"><html><head/><body><p><a href="https://www.ej-technologies.com/products/jprofiler/overview.html">https://www.ej-technologies.com/products/jprofiler/overview.html</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">
|
2022-04-21 23:20:54 +01:00
|
|
|
<string notr="true">J&VisualVM</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-09-07 00:20:11 +01:00
|
|
|
<string notr="true"><html><head/><body><p><a href="https://visualvm.github.io/">https://visualvm.github.io/</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">
|
2022-04-21 23:20:54 +01: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">
|
2018-11-02 12:04:08 +00:00
|
|
|
<string notr="true"><html><head/><body><p><a href="https://www.mcedit.net/">https://www.mcedit.net/</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">
|
2022-04-21 23:20:54 +01:00
|
|
|
<string>&Text Editor:</string>
|
2014-07-20 22:47:46 +01:00
|
|
|
</property>
|
2022-04-28 21:00:47 +01:00
|
|
|
<property name="buddy">
|
|
|
|
<cstring>jsonEditorTextBox</cstring>
|
|
|
|
</property>
|
2014-07-20 22:47:46 +01:00
|
|
|
</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>
|