def execute(self, free_format=False):
editor = CobolCodeEdit(free_format=free_format)
editor.setPlainText(self.test_file_content, '', '')
with open('file_structure', 'w') as f:
folding.print_tree(editor, file=f, print_blocks=True)
with open('file_structure', 'r') as f:
results_content = f.read()
assert results_content == self.expected_results_content
editor.clear()
def test_dynamic_folding_insert_section():
# test insert section under empty data division
# data division (which is not a fold trigger initially) block will become a fold trigger
editor = CobolCodeEdit()
editor.setPlainText(section_code, '', '')
th = TextHelper(editor)
block = editor.document().findBlockByNumber(2)
assert TextBlockHelper.is_fold_trigger(block) is False
cursor = th.goto_line(2, column=len(' DATA DIVISION.'))
cursor.insertText('\n WORKING-STORAGE SECTION.')
assert TextBlockHelper.is_fold_trigger(block) is True
def test_dynamic_folding_insert_section():
# test insert section under empty data division
# data division (which is not a fold trigger initially) block will become a fold trigger
editor = CobolCodeEdit()
editor.setPlainText(section_code, '', '')
th = TextHelper(editor)
block = editor.document().findBlockByNumber(2)
assert TextBlockHelper.is_fold_trigger(block) is False
cursor = th.goto_line(2, column=len(' DATA DIVISION.'))
cursor.insertText('\n WORKING-STORAGE SECTION.')
assert TextBlockHelper.is_fold_trigger(block) is True
def get_dependencies(self, filename, recursive=True):
"""
Gets the dependencies of a cobol program/module.
:param filename: path of the file to analyse.
:param recursive: True to perform recursive analysis (analyses
dependencies of dependencies recursively).
:return: The set of dependencies that needs to be compiled to compile
and use the requested program/module.
"""
encoding = _get_encoding(filename)
directory = os.path.dirname(filename)
dependencies = []
prog = re.compile(r'CALL ".*"')
with open(filename, 'r', encoding=encoding) as f:
for line in f.readlines():
match = prog.search(line)
if match:
start, end = match.span()
txt = line[start:end]
module_base_name = txt[txt.find('"'):].replace('"', '')
# try to see if the module can be found in the current
# directory
for ext in CobolCodeEdit.all_extensions():
pth = os.path.join(directory, module_base_name + ext)
if os.path.exists(pth) and pth not in dependencies:
dependencies.append(pth)
if recursive:
dependencies += self.get_dependencies(pth)
dependencies = list(set(dependencies))
_logger().debug('dependencies of %s: %r', filename, dependencies)
return dependencies
def editor(request):
import gettext
gettext.NullTranslations().install()
global _app, _widget
from pyqode.core import modes
from pyqode.cobol.widgets import CobolCodeEdit
from pyqode.qt.QtTest import QTest
logging.info('################ setup session editor ################')
_widget = CobolCodeEdit()
_widget.resize(800, 600)
_widget.show()
_app.setActiveWindow(_widget)
while not _widget.backend.connected:
QTest.qWait(100)
_widget.modes.get(modes.FileWatcherMode).file_watcher_auto_reload = True
_widget.save_on_focus_out = False
def fin():
global _widget
logging.info('################ teardown session editor ###############'
'#')
_widget.backend.stop()
while _widget.backend.connected:
QTest.qWait(100)
del _widget
request.addfinalizer(fin)
return _widget
def editor(request):
import gettext
gettext.NullTranslations().install()
global _app, _widget
from pyqode.core import modes
from pyqode.cobol.widgets import CobolCodeEdit
from pyqode.qt.QtTest import QTest
logging.info('################ setup session editor ################')
_widget = CobolCodeEdit()
_widget.resize(800, 600)
_widget.show()
_app.setActiveWindow(_widget)
while not _widget.backend.connected:
QTest.qWait(100)
_widget.modes.get(modes.FileWatcherMode).file_watcher_auto_reload = True
_widget.save_on_focus_out = False
def fin():
global _widget
logging.info('################ teardown session editor ###############'
'#')
_widget.backend.stop()
while _widget.backend.connected:
QTest.qWait(100)
del _widget
request.addfinalizer(fin)
return _widget
def execute(self, free_format=False):
editor = CobolCodeEdit(free_format=free_format)
editor.setPlainText(self.test_file_content, '', '')
with open('file_structure', 'w') as f:
folding.print_tree(editor, file=f, print_blocks=True)
with open('file_structure', 'r') as f:
results_content = f.read()
assert results_content == self.expected_results_content
editor.clear()
def test_dynamic_folding_insert_end_perform():
# test insert section under empty data division
# data division (which is not a fold trigger initially) block will become a fold trigger
editor = CobolCodeEdit()
editor.setPlainText(end_perform_code, '', '')
th = TextHelper(editor)
block = editor.document().findBlockByNumber(6)
first, last = FoldScope(block).get_range()
assert first == 6
assert last == 7
cursor = th.goto_line(7, column=len(' DISPLAY "FOO"'))
cursor.insertText('\n END-PERFORM')
first, last = FoldScope(block).get_range()
assert first == 6
assert last == 8
editor.close()
def __init__(self):
super().__init__()
self.editor = CobolCodeEdit()
self.editor.file.open('hello.cbl')
self.setCentralWidget(self.editor)
self.setMinimumSize(950, 600)
self.outline_tree = OutlineTreeWidget()
dock_widget = QtWidgets.QDockWidget(self)
dock_widget.setWidget(self.outline_tree)
dock_widget.setWindowTitle('Document outline')
self.addDockWidget(QtCore.Qt.RightDockWidgetArea, dock_widget)
self.outline_tree.set_editor(self.editor)
self.pic_offsets_table = PicOffsetsTable(self)
dock_widget = QtWidgets.QDockWidget(self)
dock_widget.setWidget(self.pic_offsets_table)
dock_widget.setWindowTitle('PIC offsets table')
self.addDockWidget(QtCore.Qt.RightDockWidgetArea, dock_widget)
self.pic_offsets_table.set_editor(self.editor)
def test_dynamic_folding_insert_end_if():
# test insert section under empty data division
# data division (which is not a fold trigger initially) block will become a fold trigger
editor = CobolCodeEdit()
editor.setPlainText(end_if_code, '', '')
th = TextHelper(editor)
block = editor.document().findBlockByNumber(4)
first, last = FoldScope(block).get_range()
assert first == 4
assert last == 5
cursor = th.goto_line(5, column=len(' DISPLAY "FOO"'))
cursor.insertText('\n END-IF')
first, last = FoldScope(block).get_range()
assert first == 4
assert last == 6
editor.close()
def setupUi(self, Dialog):
Dialog.setObjectName("Dialog")
Dialog.resize(644, 619)
icon = QtGui.QIcon.fromTheme("preferences-system")
Dialog.setWindowIcon(icon)
self.gridLayout_2 = QtWidgets.QGridLayout(Dialog)
self.gridLayout_2.setContentsMargins(6, 6, 6, 6)
self.gridLayout_2.setObjectName("gridLayout_2")
self.widget = QtWidgets.QWidget(Dialog)
self.widget.setStyleSheet("")
self.widget.setObjectName("widget")
self.widget_2 = QtWidgets.QGridLayout(self.widget)
self.widget_2.setContentsMargins(0, 0, 0, 0)
self.widget_2.setSpacing(0)
self.widget_2.setObjectName("widget_2")
self.tabWidget = QtWidgets.QTabWidget(self.widget)
self.tabWidget.setStyleSheet("")
self.tabWidget.setTabPosition(QtWidgets.QTabWidget.North)
self.tabWidget.setTabShape(QtWidgets.QTabWidget.Rounded)
self.tabWidget.setUsesScrollButtons(True)
self.tabWidget.setDocumentMode(False)
self.tabWidget.setObjectName("tabWidget")
self.tabEditor = QtWidgets.QWidget()
self.tabEditor.setObjectName("tabEditor")
self.verticalLayout = QtWidgets.QVBoxLayout(self.tabEditor)
self.verticalLayout.setObjectName("verticalLayout")
self.groupBox_3 = QtWidgets.QGroupBox(self.tabEditor)
self.groupBox_3.setObjectName("groupBox_3")
self.formLayout = QtWidgets.QFormLayout(self.groupBox_3)
self.formLayout.setObjectName("formLayout")
self.label_10 = QtWidgets.QLabel(self.groupBox_3)
self.label_10.setObjectName("label_10")
self.formLayout.setWidget(0, QtWidgets.QFormLayout.LabelRole,
self.label_10)
self.checkBoxViewLineNumber = QtWidgets.QCheckBox(self.groupBox_3)
self.checkBoxViewLineNumber.setText("")
self.checkBoxViewLineNumber.setChecked(True)
self.checkBoxViewLineNumber.setObjectName("checkBoxViewLineNumber")
self.formLayout.setWidget(0, QtWidgets.QFormLayout.FieldRole,
self.checkBoxViewLineNumber)
self.label_11 = QtWidgets.QLabel(self.groupBox_3)
self.label_11.setObjectName("label_11")
self.formLayout.setWidget(1, QtWidgets.QFormLayout.LabelRole,
self.label_11)
self.checkBoxHighlightCurrentLine = QtWidgets.QCheckBox(
self.groupBox_3)
self.checkBoxHighlightCurrentLine.setText("")
self.checkBoxHighlightCurrentLine.setChecked(True)
self.checkBoxHighlightCurrentLine.setObjectName(
"checkBoxHighlightCurrentLine")
self.formLayout.setWidget(1, QtWidgets.QFormLayout.FieldRole,
self.checkBoxHighlightCurrentLine)
self.label_12 = QtWidgets.QLabel(self.groupBox_3)
self.label_12.setObjectName("label_12")
self.formLayout.setWidget(2, QtWidgets.QFormLayout.LabelRole,
self.label_12)
self.checkBoxHighlightWhitespaces = QtWidgets.QCheckBox(
self.groupBox_3)
self.checkBoxHighlightWhitespaces.setText("")
self.checkBoxHighlightWhitespaces.setChecked(True)
self.checkBoxHighlightWhitespaces.setObjectName(
"checkBoxHighlightWhitespaces")
self.formLayout.setWidget(2, QtWidgets.QFormLayout.FieldRole,
self.checkBoxHighlightWhitespaces)
self.label_13 = QtWidgets.QLabel(self.groupBox_3)
self.label_13.setObjectName("label_13")
self.formLayout.setWidget(3, QtWidgets.QFormLayout.LabelRole,
self.label_13)
self.checkBoxShowErrors = QtWidgets.QCheckBox(self.groupBox_3)
self.checkBoxShowErrors.setText("")
self.checkBoxShowErrors.setObjectName("checkBoxShowErrors")
self.formLayout.setWidget(3, QtWidgets.QFormLayout.FieldRole,
self.checkBoxShowErrors)
self.verticalLayout.addWidget(self.groupBox_3)
self.groupBox_2 = QtWidgets.QGroupBox(self.tabEditor)
self.groupBox_2.setObjectName("groupBox_2")
self.formLayout_2 = QtWidgets.QFormLayout(self.groupBox_2)
self.formLayout_2.setObjectName("formLayout_2")
self.label = QtWidgets.QLabel(self.groupBox_2)
self.label.setObjectName("label")
self.formLayout_2.setWidget(1, QtWidgets.QFormLayout.LabelRole,
self.label)
self.label_14 = QtWidgets.QLabel(self.groupBox_2)
self.label_14.setText("")
self.label_14.setObjectName("label_14")
self.formLayout_2.setWidget(2, QtWidgets.QFormLayout.LabelRole,
self.label_14)
self.spinBoxEditorTabLen = QtWidgets.QSpinBox(self.groupBox_2)
self.spinBoxEditorTabLen.setMaximum(99)
self.spinBoxEditorTabLen.setProperty("value", 4)
self.spinBoxEditorTabLen.setObjectName("spinBoxEditorTabLen")
self.formLayout_2.setWidget(1, QtWidgets.QFormLayout.FieldRole,
self.spinBoxEditorTabLen)
self.checkBoxEditorAutoIndent = QtWidgets.QCheckBox(self.groupBox_2)
self.checkBoxEditorAutoIndent.setChecked(True)
self.checkBoxEditorAutoIndent.setObjectName("checkBoxEditorAutoIndent")
self.formLayout_2.setWidget(2, QtWidgets.QFormLayout.FieldRole,
self.checkBoxEditorAutoIndent)
self.label_6 = QtWidgets.QLabel(self.groupBox_2)
self.label_6.setText("")
self.label_6.setObjectName("label_6")
self.formLayout_2.setWidget(3, QtWidgets.QFormLayout.LabelRole,
self.label_6)
self.checkBoxSmartBackspace = QtWidgets.QCheckBox(self.groupBox_2)
self.checkBoxSmartBackspace.setObjectName("checkBoxSmartBackspace")
self.formLayout_2.setWidget(3, QtWidgets.QFormLayout.FieldRole,
self.checkBoxSmartBackspace)
self.verticalLayout.addWidget(self.groupBox_2)
self.groupBox_4 = QtWidgets.QGroupBox(self.tabEditor)
self.groupBox_4.setObjectName("groupBox_4")
self.formLayout_4 = QtWidgets.QFormLayout(self.groupBox_4)
self.formLayout_4.setObjectName("formLayout_4")
self.label_2 = QtWidgets.QLabel(self.groupBox_4)
self.label_2.setObjectName("label_2")
self.formLayout_4.setWidget(1, QtWidgets.QFormLayout.LabelRole,
self.label_2)
self.spinBoxEditorCCTriggerLen = QtWidgets.QSpinBox(self.groupBox_4)
self.spinBoxEditorCCTriggerLen.setProperty("value", 1)
self.spinBoxEditorCCTriggerLen.setObjectName(
"spinBoxEditorCCTriggerLen")
self.formLayout_4.setWidget(1, QtWidgets.QFormLayout.FieldRole,
self.spinBoxEditorCCTriggerLen)
self.verticalLayout.addWidget(self.groupBox_4)
self.groupBox = QtWidgets.QGroupBox(self.tabEditor)
self.groupBox.setObjectName("groupBox")
self.formLayout_7 = QtWidgets.QFormLayout(self.groupBox)
self.formLayout_7.setObjectName("formLayout_7")
self.label_7 = QtWidgets.QLabel(self.groupBox)
self.label_7.setObjectName("label_7")
self.formLayout_7.setWidget(0, QtWidgets.QFormLayout.LabelRole,
self.label_7)
self.lineEditCommentIndicator = QtWidgets.QLineEdit(self.groupBox)
font = QtGui.QFont()
font.setFamily("Monospace")
self.lineEditCommentIndicator.setFont(font)
self.lineEditCommentIndicator.setObjectName("lineEditCommentIndicator")
self.formLayout_7.setWidget(0, QtWidgets.QFormLayout.FieldRole,
self.lineEditCommentIndicator)
self.verticalLayout.addWidget(self.groupBox)
spacerItem = QtWidgets.QSpacerItem(20, 40,
QtWidgets.QSizePolicy.Minimum,
QtWidgets.QSizePolicy.Expanding)
self.verticalLayout.addItem(spacerItem)
icon = QtGui.QIcon()
icon.addPixmap(QtGui.QPixmap(":/ide-icons/rc/cobol-mimetype.png"),
QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.tabWidget.addTab(self.tabEditor, icon, "")
self.tabStyle = QtWidgets.QWidget()
self.tabStyle.setObjectName("tabStyle")
self.verticalLayout_3 = QtWidgets.QVBoxLayout(self.tabStyle)
self.verticalLayout_3.setObjectName("verticalLayout_3")
self.groupBox_5 = QtWidgets.QGroupBox(self.tabStyle)
self.groupBox_5.setObjectName("groupBox_5")
self.verticalLayout_2 = QtWidgets.QVBoxLayout(self.groupBox_5)
self.verticalLayout_2.setObjectName("verticalLayout_2")
self.horizontalLayout_3 = QtWidgets.QHBoxLayout()
self.horizontalLayout_3.setObjectName("horizontalLayout_3")
spacerItem1 = QtWidgets.QSpacerItem(40, 20,
QtWidgets.QSizePolicy.Expanding,
QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout_3.addItem(spacerItem1)
self.radioButtonColorWhite = QtWidgets.QRadioButton(self.groupBox_5)
self.radioButtonColorWhite.setChecked(True)
self.radioButtonColorWhite.setObjectName("radioButtonColorWhite")
self.horizontalLayout_3.addWidget(self.radioButtonColorWhite)
self.radioButtonColorDark = QtWidgets.QRadioButton(self.groupBox_5)
self.radioButtonColorDark.setObjectName("radioButtonColorDark")
self.horizontalLayout_3.addWidget(self.radioButtonColorDark)
spacerItem2 = QtWidgets.QSpacerItem(40, 20,
QtWidgets.QSizePolicy.Expanding,
QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout_3.addItem(spacerItem2)
self.verticalLayout_2.addLayout(self.horizontalLayout_3)
self.layoutIconTheme = QtWidgets.QFormLayout()
self.layoutIconTheme.setContentsMargins(-1, 0, -1, -1)
self.layoutIconTheme.setObjectName("layoutIconTheme")
self.lblIconTheme = QtWidgets.QLabel(self.groupBox_5)
self.lblIconTheme.setObjectName("lblIconTheme")
self.layoutIconTheme.setWidget(0, QtWidgets.QFormLayout.LabelRole,
self.lblIconTheme)
self.comboBoxIconTheme = QtWidgets.QComboBox(self.groupBox_5)
self.comboBoxIconTheme.setObjectName("comboBoxIconTheme")
self.layoutIconTheme.setWidget(0, QtWidgets.QFormLayout.FieldRole,
self.comboBoxIconTheme)
self.verticalLayout_2.addLayout(self.layoutIconTheme)
self.verticalLayout_3.addWidget(self.groupBox_5)
self.groupBox_6 = QtWidgets.QGroupBox(self.tabStyle)
self.groupBox_6.setObjectName("groupBox_6")
self.formLayout_3 = QtWidgets.QFormLayout(self.groupBox_6)
self.formLayout_3.setObjectName("formLayout_3")
self.label_3 = QtWidgets.QLabel(self.groupBox_6)
self.label_3.setObjectName("label_3")
self.formLayout_3.setWidget(0, QtWidgets.QFormLayout.LabelRole,
self.label_3)
self.horizontalLayout_4 = QtWidgets.QHBoxLayout()
self.horizontalLayout_4.setObjectName("horizontalLayout_4")
self.fontComboBox = QtWidgets.QFontComboBox(self.groupBox_6)
self.fontComboBox.setFontFilters(
QtWidgets.QFontComboBox.MonospacedFonts)
font = QtGui.QFont()
font.setFamily("DejaVu Sans Mono")
font.setPointSize(10)
self.fontComboBox.setCurrentFont(font)
self.fontComboBox.setObjectName("fontComboBox")
self.horizontalLayout_4.addWidget(self.fontComboBox)
self.formLayout_3.setLayout(0, QtWidgets.QFormLayout.FieldRole,
self.horizontalLayout_4)
self.label_4 = QtWidgets.QLabel(self.groupBox_6)
self.label_4.setObjectName("label_4")
self.formLayout_3.setWidget(1, QtWidgets.QFormLayout.LabelRole,
self.label_4)
self.horizontalLayout_5 = QtWidgets.QHBoxLayout()
self.horizontalLayout_5.setObjectName("horizontalLayout_5")
self.spinBoxFontSize = QtWidgets.QSpinBox(self.groupBox_6)
self.spinBoxFontSize.setProperty("value", 10)
self.spinBoxFontSize.setObjectName("spinBoxFontSize")
self.horizontalLayout_5.addWidget(self.spinBoxFontSize)
self.formLayout_3.setLayout(1, QtWidgets.QFormLayout.FieldRole,
self.horizontalLayout_5)
self.verticalLayout_3.addWidget(self.groupBox_6)
self.groupBox_7 = QtWidgets.QGroupBox(self.tabStyle)
self.groupBox_7.setObjectName("groupBox_7")
self.gridLayout_4 = QtWidgets.QGridLayout(self.groupBox_7)
self.gridLayout_4.setObjectName("gridLayout_4")
self.listWidgetColorSchemes = QtWidgets.QListWidget(self.groupBox_7)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Minimum,
QtWidgets.QSizePolicy.Expanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(
self.listWidgetColorSchemes.sizePolicy().hasHeightForWidth())
self.listWidgetColorSchemes.setSizePolicy(sizePolicy)
self.listWidgetColorSchemes.setObjectName("listWidgetColorSchemes")
self.gridLayout_4.addWidget(self.listWidgetColorSchemes, 0, 0, 1, 1)
self.plainTextEdit = CobolCodeEdit(self.groupBox_7)
self.plainTextEdit.setObjectName("plainTextEdit")
self.gridLayout_4.addWidget(self.plainTextEdit, 0, 1, 1, 1)
self.verticalLayout_3.addWidget(self.groupBox_7)
icon = QtGui.QIcon.fromTheme("applications-graphics")
self.tabWidget.addTab(self.tabStyle, icon, "")
self.tabCompiler = QtWidgets.QWidget()
self.tabCompiler.setObjectName("tabCompiler")
self.formLayout_6 = QtWidgets.QFormLayout(self.tabCompiler)
self.formLayout_6.setFieldGrowthPolicy(
QtWidgets.QFormLayout.AllNonFixedFieldsGrow)
self.formLayout_6.setObjectName("formLayout_6")
self.label_8 = QtWidgets.QLabel(self.tabCompiler)
self.label_8.setObjectName("label_8")
self.formLayout_6.setWidget(0, QtWidgets.QFormLayout.LabelRole,
self.label_8)
self.label_9 = QtWidgets.QLabel(self.tabCompiler)
self.label_9.setObjectName("label_9")
self.formLayout_6.setWidget(2, QtWidgets.QFormLayout.LabelRole,
self.label_9)
self.checkBoxFreeFormat = QtWidgets.QCheckBox(self.tabCompiler)
self.checkBoxFreeFormat.setText("")
self.checkBoxFreeFormat.setObjectName("checkBoxFreeFormat")
self.formLayout_6.setWidget(2, QtWidgets.QFormLayout.FieldRole,
self.checkBoxFreeFormat)
self.label_15 = QtWidgets.QLabel(self.tabCompiler)
self.label_15.setObjectName("label_15")
self.formLayout_6.setWidget(3, QtWidgets.QFormLayout.LabelRole,
self.label_15)
self.verticalLayout_4 = QtWidgets.QVBoxLayout()
self.verticalLayout_4.setObjectName("verticalLayout_4")
self.cb_g = QtWidgets.QCheckBox(self.tabCompiler)
self.cb_g.setObjectName("cb_g")
self.verticalLayout_4.addWidget(self.cb_g)
self.cb_ftrace = QtWidgets.QCheckBox(self.tabCompiler)
self.cb_ftrace.setObjectName("cb_ftrace")
self.verticalLayout_4.addWidget(self.cb_ftrace)
self.cb_ftraceall = QtWidgets.QCheckBox(self.tabCompiler)
self.cb_ftraceall.setObjectName("cb_ftraceall")
self.verticalLayout_4.addWidget(self.cb_ftraceall)
self.cb_debugging_line = QtWidgets.QCheckBox(self.tabCompiler)
self.cb_debugging_line.setObjectName("cb_debugging_line")
self.verticalLayout_4.addWidget(self.cb_debugging_line)
self.cb_static = QtWidgets.QCheckBox(self.tabCompiler)
self.cb_static.setObjectName("cb_static")
self.verticalLayout_4.addWidget(self.cb_static)
self.le_compiler_flags = QtWidgets.QLineEdit(self.tabCompiler)
self.le_compiler_flags.setObjectName("le_compiler_flags")
self.verticalLayout_4.addWidget(self.le_compiler_flags)
self.formLayout_6.setLayout(3, QtWidgets.QFormLayout.FieldRole,
self.verticalLayout_4)
self.label_compiler_path = QtWidgets.QLabel(self.tabCompiler)
self.label_compiler_path.setObjectName("label_compiler_path")
self.formLayout_6.setWidget(4, QtWidgets.QFormLayout.LabelRole,
self.label_compiler_path)
self.checkBoxCustomPath = QtWidgets.QCheckBox(self.tabCompiler)
self.checkBoxCustomPath.setText("")
self.checkBoxCustomPath.setObjectName("checkBoxCustomPath")
self.formLayout_6.setWidget(4, QtWidgets.QFormLayout.FieldRole,
self.checkBoxCustomPath)
self.lineEditCompilerPath = QtWidgets.QLineEdit(self.tabCompiler)
self.lineEditCompilerPath.setObjectName("lineEditCompilerPath")
self.formLayout_6.setWidget(5, QtWidgets.QFormLayout.FieldRole,
self.lineEditCompilerPath)
self.comboBoxStandard = QtWidgets.QComboBox(self.tabCompiler)
self.comboBoxStandard.setObjectName("comboBoxStandard")
self.comboBoxStandard.addItem("")
self.comboBoxStandard.addItem("")
self.comboBoxStandard.addItem("")
self.comboBoxStandard.addItem("")
self.comboBoxStandard.addItem("")
self.comboBoxStandard.addItem("")
self.comboBoxStandard.addItem("")
self.formLayout_6.setWidget(0, QtWidgets.QFormLayout.FieldRole,
self.comboBoxStandard)
icon = QtGui.QIcon.fromTheme("exec")
self.tabWidget.addTab(self.tabCompiler, icon, "")
self.tabRun = QtWidgets.QWidget()
self.tabRun.setObjectName("tabRun")
self.formLayout_5 = QtWidgets.QFormLayout(self.tabRun)
self.formLayout_5.setFieldGrowthPolicy(
QtWidgets.QFormLayout.AllNonFixedFieldsGrow)
self.formLayout_5.setObjectName("formLayout_5")
self.label_5 = QtWidgets.QLabel(self.tabRun)
self.label_5.setObjectName("label_5")
self.formLayout_5.setWidget(0, QtWidgets.QFormLayout.LabelRole,
self.label_5)
self.checkBoxRunExtTerm = QtWidgets.QCheckBox(self.tabRun)
self.checkBoxRunExtTerm.setText("")
self.checkBoxRunExtTerm.setObjectName("checkBoxRunExtTerm")
self.formLayout_5.setWidget(0, QtWidgets.QFormLayout.FieldRole,
self.checkBoxRunExtTerm)
self.lineEditRunTerm = QtWidgets.QLineEdit(self.tabRun)
self.lineEditRunTerm.setObjectName("lineEditRunTerm")
self.formLayout_5.setWidget(1, QtWidgets.QFormLayout.FieldRole,
self.lineEditRunTerm)
icon = QtGui.QIcon.fromTheme("media-playback-start")
self.tabWidget.addTab(self.tabRun, icon, "")
self.widget_2.addWidget(self.tabWidget, 0, 0, 1, 1)
self.gridLayout_2.addWidget(self.widget, 0, 0, 1, 1)
self.gridLayout_3 = QtWidgets.QGridLayout()
self.gridLayout_3.setContentsMargins(9, 9, 9, 9)
self.gridLayout_3.setObjectName("gridLayout_3")
self.buttonBox = QtWidgets.QDialogButtonBox(Dialog)
self.buttonBox.setOrientation(QtCore.Qt.Horizontal)
self.buttonBox.setStandardButtons(
QtWidgets.QDialogButtonBox.Cancel | QtWidgets.QDialogButtonBox.Ok
| QtWidgets.QDialogButtonBox.Reset
| QtWidgets.QDialogButtonBox.RestoreDefaults)
self.buttonBox.setObjectName("buttonBox")
self.gridLayout_3.addWidget(self.buttonBox, 0, 0, 1, 1)
self.gridLayout_2.addLayout(self.gridLayout_3, 2, 0, 1, 1)
self.retranslateUi(Dialog)
self.tabWidget.setCurrentIndex(0)
self.buttonBox.accepted.connect(Dialog.accept)
self.buttonBox.rejected.connect(Dialog.reject)
QtCore.QMetaObject.connectSlotsByName(Dialog)
class Ui_Dialog(object):
def setupUi(self, Dialog):
Dialog.setObjectName("Dialog")
Dialog.resize(644, 619)
icon = QtGui.QIcon.fromTheme("preferences-system")
Dialog.setWindowIcon(icon)
self.gridLayout_2 = QtWidgets.QGridLayout(Dialog)
self.gridLayout_2.setContentsMargins(6, 6, 6, 6)
self.gridLayout_2.setObjectName("gridLayout_2")
self.widget = QtWidgets.QWidget(Dialog)
self.widget.setStyleSheet("")
self.widget.setObjectName("widget")
self.widget_2 = QtWidgets.QGridLayout(self.widget)
self.widget_2.setContentsMargins(0, 0, 0, 0)
self.widget_2.setSpacing(0)
self.widget_2.setObjectName("widget_2")
self.tabWidget = QtWidgets.QTabWidget(self.widget)
self.tabWidget.setStyleSheet("")
self.tabWidget.setTabPosition(QtWidgets.QTabWidget.North)
self.tabWidget.setTabShape(QtWidgets.QTabWidget.Rounded)
self.tabWidget.setUsesScrollButtons(True)
self.tabWidget.setDocumentMode(False)
self.tabWidget.setObjectName("tabWidget")
self.tabEditor = QtWidgets.QWidget()
self.tabEditor.setObjectName("tabEditor")
self.verticalLayout = QtWidgets.QVBoxLayout(self.tabEditor)
self.verticalLayout.setObjectName("verticalLayout")
self.groupBox_3 = QtWidgets.QGroupBox(self.tabEditor)
self.groupBox_3.setObjectName("groupBox_3")
self.formLayout = QtWidgets.QFormLayout(self.groupBox_3)
self.formLayout.setObjectName("formLayout")
self.label_10 = QtWidgets.QLabel(self.groupBox_3)
self.label_10.setObjectName("label_10")
self.formLayout.setWidget(0, QtWidgets.QFormLayout.LabelRole,
self.label_10)
self.checkBoxViewLineNumber = QtWidgets.QCheckBox(self.groupBox_3)
self.checkBoxViewLineNumber.setText("")
self.checkBoxViewLineNumber.setChecked(True)
self.checkBoxViewLineNumber.setObjectName("checkBoxViewLineNumber")
self.formLayout.setWidget(0, QtWidgets.QFormLayout.FieldRole,
self.checkBoxViewLineNumber)
self.label_11 = QtWidgets.QLabel(self.groupBox_3)
self.label_11.setObjectName("label_11")
self.formLayout.setWidget(1, QtWidgets.QFormLayout.LabelRole,
self.label_11)
self.checkBoxHighlightCurrentLine = QtWidgets.QCheckBox(
self.groupBox_3)
self.checkBoxHighlightCurrentLine.setText("")
self.checkBoxHighlightCurrentLine.setChecked(True)
self.checkBoxHighlightCurrentLine.setObjectName(
"checkBoxHighlightCurrentLine")
self.formLayout.setWidget(1, QtWidgets.QFormLayout.FieldRole,
self.checkBoxHighlightCurrentLine)
self.label_12 = QtWidgets.QLabel(self.groupBox_3)
self.label_12.setObjectName("label_12")
self.formLayout.setWidget(2, QtWidgets.QFormLayout.LabelRole,
self.label_12)
self.checkBoxHighlightWhitespaces = QtWidgets.QCheckBox(
self.groupBox_3)
self.checkBoxHighlightWhitespaces.setText("")
self.checkBoxHighlightWhitespaces.setChecked(True)
self.checkBoxHighlightWhitespaces.setObjectName(
"checkBoxHighlightWhitespaces")
self.formLayout.setWidget(2, QtWidgets.QFormLayout.FieldRole,
self.checkBoxHighlightWhitespaces)
self.label_13 = QtWidgets.QLabel(self.groupBox_3)
self.label_13.setObjectName("label_13")
self.formLayout.setWidget(3, QtWidgets.QFormLayout.LabelRole,
self.label_13)
self.checkBoxShowErrors = QtWidgets.QCheckBox(self.groupBox_3)
self.checkBoxShowErrors.setText("")
self.checkBoxShowErrors.setObjectName("checkBoxShowErrors")
self.formLayout.setWidget(3, QtWidgets.QFormLayout.FieldRole,
self.checkBoxShowErrors)
self.verticalLayout.addWidget(self.groupBox_3)
self.groupBox_2 = QtWidgets.QGroupBox(self.tabEditor)
self.groupBox_2.setObjectName("groupBox_2")
self.formLayout_2 = QtWidgets.QFormLayout(self.groupBox_2)
self.formLayout_2.setObjectName("formLayout_2")
self.label = QtWidgets.QLabel(self.groupBox_2)
self.label.setObjectName("label")
self.formLayout_2.setWidget(1, QtWidgets.QFormLayout.LabelRole,
self.label)
self.label_14 = QtWidgets.QLabel(self.groupBox_2)
self.label_14.setText("")
self.label_14.setObjectName("label_14")
self.formLayout_2.setWidget(2, QtWidgets.QFormLayout.LabelRole,
self.label_14)
self.spinBoxEditorTabLen = QtWidgets.QSpinBox(self.groupBox_2)
self.spinBoxEditorTabLen.setMaximum(99)
self.spinBoxEditorTabLen.setProperty("value", 4)
self.spinBoxEditorTabLen.setObjectName("spinBoxEditorTabLen")
self.formLayout_2.setWidget(1, QtWidgets.QFormLayout.FieldRole,
self.spinBoxEditorTabLen)
self.checkBoxEditorAutoIndent = QtWidgets.QCheckBox(self.groupBox_2)
self.checkBoxEditorAutoIndent.setChecked(True)
self.checkBoxEditorAutoIndent.setObjectName("checkBoxEditorAutoIndent")
self.formLayout_2.setWidget(2, QtWidgets.QFormLayout.FieldRole,
self.checkBoxEditorAutoIndent)
self.label_6 = QtWidgets.QLabel(self.groupBox_2)
self.label_6.setText("")
self.label_6.setObjectName("label_6")
self.formLayout_2.setWidget(3, QtWidgets.QFormLayout.LabelRole,
self.label_6)
self.checkBoxSmartBackspace = QtWidgets.QCheckBox(self.groupBox_2)
self.checkBoxSmartBackspace.setObjectName("checkBoxSmartBackspace")
self.formLayout_2.setWidget(3, QtWidgets.QFormLayout.FieldRole,
self.checkBoxSmartBackspace)
self.verticalLayout.addWidget(self.groupBox_2)
self.groupBox_4 = QtWidgets.QGroupBox(self.tabEditor)
self.groupBox_4.setObjectName("groupBox_4")
self.formLayout_4 = QtWidgets.QFormLayout(self.groupBox_4)
self.formLayout_4.setObjectName("formLayout_4")
self.label_2 = QtWidgets.QLabel(self.groupBox_4)
self.label_2.setObjectName("label_2")
self.formLayout_4.setWidget(1, QtWidgets.QFormLayout.LabelRole,
self.label_2)
self.spinBoxEditorCCTriggerLen = QtWidgets.QSpinBox(self.groupBox_4)
self.spinBoxEditorCCTriggerLen.setProperty("value", 1)
self.spinBoxEditorCCTriggerLen.setObjectName(
"spinBoxEditorCCTriggerLen")
self.formLayout_4.setWidget(1, QtWidgets.QFormLayout.FieldRole,
self.spinBoxEditorCCTriggerLen)
self.verticalLayout.addWidget(self.groupBox_4)
self.groupBox = QtWidgets.QGroupBox(self.tabEditor)
self.groupBox.setObjectName("groupBox")
self.formLayout_7 = QtWidgets.QFormLayout(self.groupBox)
self.formLayout_7.setObjectName("formLayout_7")
self.label_7 = QtWidgets.QLabel(self.groupBox)
self.label_7.setObjectName("label_7")
self.formLayout_7.setWidget(0, QtWidgets.QFormLayout.LabelRole,
self.label_7)
self.lineEditCommentIndicator = QtWidgets.QLineEdit(self.groupBox)
font = QtGui.QFont()
font.setFamily("Monospace")
self.lineEditCommentIndicator.setFont(font)
self.lineEditCommentIndicator.setObjectName("lineEditCommentIndicator")
self.formLayout_7.setWidget(0, QtWidgets.QFormLayout.FieldRole,
self.lineEditCommentIndicator)
self.verticalLayout.addWidget(self.groupBox)
spacerItem = QtWidgets.QSpacerItem(20, 40,
QtWidgets.QSizePolicy.Minimum,
QtWidgets.QSizePolicy.Expanding)
self.verticalLayout.addItem(spacerItem)
icon = QtGui.QIcon()
icon.addPixmap(QtGui.QPixmap(":/ide-icons/rc/cobol-mimetype.png"),
QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.tabWidget.addTab(self.tabEditor, icon, "")
self.tabStyle = QtWidgets.QWidget()
self.tabStyle.setObjectName("tabStyle")
self.verticalLayout_3 = QtWidgets.QVBoxLayout(self.tabStyle)
self.verticalLayout_3.setObjectName("verticalLayout_3")
self.groupBox_5 = QtWidgets.QGroupBox(self.tabStyle)
self.groupBox_5.setObjectName("groupBox_5")
self.verticalLayout_2 = QtWidgets.QVBoxLayout(self.groupBox_5)
self.verticalLayout_2.setObjectName("verticalLayout_2")
self.horizontalLayout_3 = QtWidgets.QHBoxLayout()
self.horizontalLayout_3.setObjectName("horizontalLayout_3")
spacerItem1 = QtWidgets.QSpacerItem(40, 20,
QtWidgets.QSizePolicy.Expanding,
QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout_3.addItem(spacerItem1)
self.radioButtonColorWhite = QtWidgets.QRadioButton(self.groupBox_5)
self.radioButtonColorWhite.setChecked(True)
self.radioButtonColorWhite.setObjectName("radioButtonColorWhite")
self.horizontalLayout_3.addWidget(self.radioButtonColorWhite)
self.radioButtonColorDark = QtWidgets.QRadioButton(self.groupBox_5)
self.radioButtonColorDark.setObjectName("radioButtonColorDark")
self.horizontalLayout_3.addWidget(self.radioButtonColorDark)
spacerItem2 = QtWidgets.QSpacerItem(40, 20,
QtWidgets.QSizePolicy.Expanding,
QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout_3.addItem(spacerItem2)
self.verticalLayout_2.addLayout(self.horizontalLayout_3)
self.layoutIconTheme = QtWidgets.QFormLayout()
self.layoutIconTheme.setContentsMargins(-1, 0, -1, -1)
self.layoutIconTheme.setObjectName("layoutIconTheme")
self.lblIconTheme = QtWidgets.QLabel(self.groupBox_5)
self.lblIconTheme.setObjectName("lblIconTheme")
self.layoutIconTheme.setWidget(0, QtWidgets.QFormLayout.LabelRole,
self.lblIconTheme)
self.comboBoxIconTheme = QtWidgets.QComboBox(self.groupBox_5)
self.comboBoxIconTheme.setObjectName("comboBoxIconTheme")
self.layoutIconTheme.setWidget(0, QtWidgets.QFormLayout.FieldRole,
self.comboBoxIconTheme)
self.verticalLayout_2.addLayout(self.layoutIconTheme)
self.verticalLayout_3.addWidget(self.groupBox_5)
self.groupBox_6 = QtWidgets.QGroupBox(self.tabStyle)
self.groupBox_6.setObjectName("groupBox_6")
self.formLayout_3 = QtWidgets.QFormLayout(self.groupBox_6)
self.formLayout_3.setObjectName("formLayout_3")
self.label_3 = QtWidgets.QLabel(self.groupBox_6)
self.label_3.setObjectName("label_3")
self.formLayout_3.setWidget(0, QtWidgets.QFormLayout.LabelRole,
self.label_3)
self.horizontalLayout_4 = QtWidgets.QHBoxLayout()
self.horizontalLayout_4.setObjectName("horizontalLayout_4")
self.fontComboBox = QtWidgets.QFontComboBox(self.groupBox_6)
self.fontComboBox.setFontFilters(
QtWidgets.QFontComboBox.MonospacedFonts)
font = QtGui.QFont()
font.setFamily("DejaVu Sans Mono")
font.setPointSize(10)
self.fontComboBox.setCurrentFont(font)
self.fontComboBox.setObjectName("fontComboBox")
self.horizontalLayout_4.addWidget(self.fontComboBox)
self.formLayout_3.setLayout(0, QtWidgets.QFormLayout.FieldRole,
self.horizontalLayout_4)
self.label_4 = QtWidgets.QLabel(self.groupBox_6)
self.label_4.setObjectName("label_4")
self.formLayout_3.setWidget(1, QtWidgets.QFormLayout.LabelRole,
self.label_4)
self.horizontalLayout_5 = QtWidgets.QHBoxLayout()
self.horizontalLayout_5.setObjectName("horizontalLayout_5")
self.spinBoxFontSize = QtWidgets.QSpinBox(self.groupBox_6)
self.spinBoxFontSize.setProperty("value", 10)
self.spinBoxFontSize.setObjectName("spinBoxFontSize")
self.horizontalLayout_5.addWidget(self.spinBoxFontSize)
self.formLayout_3.setLayout(1, QtWidgets.QFormLayout.FieldRole,
self.horizontalLayout_5)
self.verticalLayout_3.addWidget(self.groupBox_6)
self.groupBox_7 = QtWidgets.QGroupBox(self.tabStyle)
self.groupBox_7.setObjectName("groupBox_7")
self.gridLayout_4 = QtWidgets.QGridLayout(self.groupBox_7)
self.gridLayout_4.setObjectName("gridLayout_4")
self.listWidgetColorSchemes = QtWidgets.QListWidget(self.groupBox_7)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Minimum,
QtWidgets.QSizePolicy.Expanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(
self.listWidgetColorSchemes.sizePolicy().hasHeightForWidth())
self.listWidgetColorSchemes.setSizePolicy(sizePolicy)
self.listWidgetColorSchemes.setObjectName("listWidgetColorSchemes")
self.gridLayout_4.addWidget(self.listWidgetColorSchemes, 0, 0, 1, 1)
self.plainTextEdit = CobolCodeEdit(self.groupBox_7)
self.plainTextEdit.setObjectName("plainTextEdit")
self.gridLayout_4.addWidget(self.plainTextEdit, 0, 1, 1, 1)
self.verticalLayout_3.addWidget(self.groupBox_7)
icon = QtGui.QIcon.fromTheme("applications-graphics")
self.tabWidget.addTab(self.tabStyle, icon, "")
self.tabCompiler = QtWidgets.QWidget()
self.tabCompiler.setObjectName("tabCompiler")
self.formLayout_6 = QtWidgets.QFormLayout(self.tabCompiler)
self.formLayout_6.setFieldGrowthPolicy(
QtWidgets.QFormLayout.AllNonFixedFieldsGrow)
self.formLayout_6.setObjectName("formLayout_6")
self.label_8 = QtWidgets.QLabel(self.tabCompiler)
self.label_8.setObjectName("label_8")
self.formLayout_6.setWidget(0, QtWidgets.QFormLayout.LabelRole,
self.label_8)
self.label_9 = QtWidgets.QLabel(self.tabCompiler)
self.label_9.setObjectName("label_9")
self.formLayout_6.setWidget(2, QtWidgets.QFormLayout.LabelRole,
self.label_9)
self.checkBoxFreeFormat = QtWidgets.QCheckBox(self.tabCompiler)
self.checkBoxFreeFormat.setText("")
self.checkBoxFreeFormat.setObjectName("checkBoxFreeFormat")
self.formLayout_6.setWidget(2, QtWidgets.QFormLayout.FieldRole,
self.checkBoxFreeFormat)
self.label_15 = QtWidgets.QLabel(self.tabCompiler)
self.label_15.setObjectName("label_15")
self.formLayout_6.setWidget(3, QtWidgets.QFormLayout.LabelRole,
self.label_15)
self.verticalLayout_4 = QtWidgets.QVBoxLayout()
self.verticalLayout_4.setObjectName("verticalLayout_4")
self.cb_g = QtWidgets.QCheckBox(self.tabCompiler)
self.cb_g.setObjectName("cb_g")
self.verticalLayout_4.addWidget(self.cb_g)
self.cb_ftrace = QtWidgets.QCheckBox(self.tabCompiler)
self.cb_ftrace.setObjectName("cb_ftrace")
self.verticalLayout_4.addWidget(self.cb_ftrace)
self.cb_ftraceall = QtWidgets.QCheckBox(self.tabCompiler)
self.cb_ftraceall.setObjectName("cb_ftraceall")
self.verticalLayout_4.addWidget(self.cb_ftraceall)
self.cb_debugging_line = QtWidgets.QCheckBox(self.tabCompiler)
self.cb_debugging_line.setObjectName("cb_debugging_line")
self.verticalLayout_4.addWidget(self.cb_debugging_line)
self.cb_static = QtWidgets.QCheckBox(self.tabCompiler)
self.cb_static.setObjectName("cb_static")
self.verticalLayout_4.addWidget(self.cb_static)
self.le_compiler_flags = QtWidgets.QLineEdit(self.tabCompiler)
self.le_compiler_flags.setObjectName("le_compiler_flags")
self.verticalLayout_4.addWidget(self.le_compiler_flags)
self.formLayout_6.setLayout(3, QtWidgets.QFormLayout.FieldRole,
self.verticalLayout_4)
self.label_compiler_path = QtWidgets.QLabel(self.tabCompiler)
self.label_compiler_path.setObjectName("label_compiler_path")
self.formLayout_6.setWidget(4, QtWidgets.QFormLayout.LabelRole,
self.label_compiler_path)
self.checkBoxCustomPath = QtWidgets.QCheckBox(self.tabCompiler)
self.checkBoxCustomPath.setText("")
self.checkBoxCustomPath.setObjectName("checkBoxCustomPath")
self.formLayout_6.setWidget(4, QtWidgets.QFormLayout.FieldRole,
self.checkBoxCustomPath)
self.lineEditCompilerPath = QtWidgets.QLineEdit(self.tabCompiler)
self.lineEditCompilerPath.setObjectName("lineEditCompilerPath")
self.formLayout_6.setWidget(5, QtWidgets.QFormLayout.FieldRole,
self.lineEditCompilerPath)
self.comboBoxStandard = QtWidgets.QComboBox(self.tabCompiler)
self.comboBoxStandard.setObjectName("comboBoxStandard")
self.comboBoxStandard.addItem("")
self.comboBoxStandard.addItem("")
self.comboBoxStandard.addItem("")
self.comboBoxStandard.addItem("")
self.comboBoxStandard.addItem("")
self.comboBoxStandard.addItem("")
self.comboBoxStandard.addItem("")
self.formLayout_6.setWidget(0, QtWidgets.QFormLayout.FieldRole,
self.comboBoxStandard)
icon = QtGui.QIcon.fromTheme("exec")
self.tabWidget.addTab(self.tabCompiler, icon, "")
self.tabRun = QtWidgets.QWidget()
self.tabRun.setObjectName("tabRun")
self.formLayout_5 = QtWidgets.QFormLayout(self.tabRun)
self.formLayout_5.setFieldGrowthPolicy(
QtWidgets.QFormLayout.AllNonFixedFieldsGrow)
self.formLayout_5.setObjectName("formLayout_5")
self.label_5 = QtWidgets.QLabel(self.tabRun)
self.label_5.setObjectName("label_5")
self.formLayout_5.setWidget(0, QtWidgets.QFormLayout.LabelRole,
self.label_5)
self.checkBoxRunExtTerm = QtWidgets.QCheckBox(self.tabRun)
self.checkBoxRunExtTerm.setText("")
self.checkBoxRunExtTerm.setObjectName("checkBoxRunExtTerm")
self.formLayout_5.setWidget(0, QtWidgets.QFormLayout.FieldRole,
self.checkBoxRunExtTerm)
self.lineEditRunTerm = QtWidgets.QLineEdit(self.tabRun)
self.lineEditRunTerm.setObjectName("lineEditRunTerm")
self.formLayout_5.setWidget(1, QtWidgets.QFormLayout.FieldRole,
self.lineEditRunTerm)
icon = QtGui.QIcon.fromTheme("media-playback-start")
self.tabWidget.addTab(self.tabRun, icon, "")
self.widget_2.addWidget(self.tabWidget, 0, 0, 1, 1)
self.gridLayout_2.addWidget(self.widget, 0, 0, 1, 1)
self.gridLayout_3 = QtWidgets.QGridLayout()
self.gridLayout_3.setContentsMargins(9, 9, 9, 9)
self.gridLayout_3.setObjectName("gridLayout_3")
self.buttonBox = QtWidgets.QDialogButtonBox(Dialog)
self.buttonBox.setOrientation(QtCore.Qt.Horizontal)
self.buttonBox.setStandardButtons(
QtWidgets.QDialogButtonBox.Cancel | QtWidgets.QDialogButtonBox.Ok
| QtWidgets.QDialogButtonBox.Reset
| QtWidgets.QDialogButtonBox.RestoreDefaults)
self.buttonBox.setObjectName("buttonBox")
self.gridLayout_3.addWidget(self.buttonBox, 0, 0, 1, 1)
self.gridLayout_2.addLayout(self.gridLayout_3, 2, 0, 1, 1)
self.retranslateUi(Dialog)
self.tabWidget.setCurrentIndex(0)
self.buttonBox.accepted.connect(Dialog.accept)
self.buttonBox.rejected.connect(Dialog.reject)
QtCore.QMetaObject.connectSlotsByName(Dialog)
def retranslateUi(self, Dialog):
_translate = QtCore.QCoreApplication.translate
Dialog.setWindowTitle(_translate("Dialog", "Preferences"))
self.widget.setAccessibleName(_translate("Dialog", "widget", "widget"))
self.groupBox_3.setTitle(_translate("Dialog", "View"))
self.label_10.setText(_translate("Dialog", "Display line numbers:"))
self.checkBoxViewLineNumber.setToolTip(
_translate("Dialog", "Show/Hide line numbers"))
self.checkBoxViewLineNumber.setStatusTip(
_translate("Dialog", "Show/Hide line numbers"))
self.label_11.setText(_translate("Dialog", "Highlight current line:"))
self.checkBoxHighlightCurrentLine.setToolTip(
_translate("Dialog", "Highlight caret line"))
self.checkBoxHighlightCurrentLine.setStatusTip(
_translate("Dialog", "Highlight caret line"))
self.label_12.setText(_translate("Dialog", "Highlight whitespaces:"))
self.checkBoxHighlightWhitespaces.setToolTip(
_translate("Dialog", "Show visual whitespaces"))
self.checkBoxHighlightWhitespaces.setStatusTip(
_translate("Dialog", "Show visual whitespaces"))
self.label_13.setText(_translate("Dialog", "Show errors:"))
self.checkBoxShowErrors.setToolTip(
_translate(
"Dialog",
"Compile your code on the fly and show errors while you\'re typing"
))
self.groupBox_2.setTitle(_translate("Dialog", "Indentation"))
self.label.setText(_translate("Dialog", "Width:"))
self.spinBoxEditorTabLen.setToolTip(
_translate("Dialog", "Tab length (number of spaces)"))
self.spinBoxEditorTabLen.setStatusTip(
_translate("Dialog", "Tab length (number of spaces)"))
self.checkBoxEditorAutoIndent.setToolTip(
_translate("Dialog", "Enable/Disable automatic indentation"))
self.checkBoxEditorAutoIndent.setStatusTip(
_translate("Dialog", "Enable/Disable automatic indentation"))
self.checkBoxEditorAutoIndent.setText(
_translate("Dialog", "Automatic indentation"))
self.checkBoxSmartBackspace.setToolTip(
_translate(
"Dialog",
"Backspace will act as shift+tab, i.e. it will eat as much spaces \n"
"as possible to get back to the previous indentation level."))
self.checkBoxSmartBackspace.setText(
_translate("Dialog", "Intelligent backspace"))
self.groupBox_4.setTitle(_translate("Dialog", "Code completion"))
self.label_2.setText(_translate("Dialog", "Trigger length:"))
self.spinBoxEditorCCTriggerLen.setToolTip(
_translate(
"Dialog",
"Number of characters needed to trigger auto completion"))
self.spinBoxEditorCCTriggerLen.setStatusTip(
_translate(
"Dialog",
"Number of characters needed to trigger auto completion"))
self.groupBox.setTitle(_translate("Dialog", "Comments"))
self.label_7.setText(_translate("Dialog", "Symbol"))
self.lineEditCommentIndicator.setText(_translate("Dialog", "*>"))
self.tabWidget.setTabText(self.tabWidget.indexOf(self.tabEditor),
_translate("Dialog", "Editor"))
self.groupBox_5.setTitle(_translate("Dialog", "Application style"))
self.radioButtonColorWhite.setToolTip(
_translate("Dialog", "Use native style"))
self.radioButtonColorWhite.setStatusTip(
_translate("Dialog", "Use native style"))
self.radioButtonColorWhite.setText(_translate("Dialog", "Native"))
self.radioButtonColorDark.setToolTip(
_translate("Dialog",
"Use a global dark style (using QDarkStyleSheet)"))
self.radioButtonColorDark.setStatusTip(
_translate("Dialog",
"Use a global dark style (using QDarkStyleSheet)"))
self.radioButtonColorDark.setText(_translate("Dialog", "Dark"))
self.lblIconTheme.setText(_translate("Dialog", "Icon theme:"))
self.groupBox_6.setTitle(_translate("Dialog", "Editor font"))
self.label_3.setText(_translate("Dialog", "Editor font:"))
self.fontComboBox.setToolTip(_translate("Dialog",
"Change editor font"))
self.fontComboBox.setStatusTip(
_translate("Dialog", "Change editor font"))
self.label_4.setText(_translate("Dialog", "Font size:"))
self.spinBoxFontSize.setToolTip(
_translate("Dialog", "Change editor font size"))
self.spinBoxFontSize.setStatusTip(
_translate("Dialog", "Change editor font size"))
self.groupBox_7.setTitle(_translate("Dialog", "Editor color scheme"))
self.listWidgetColorSchemes.setToolTip(
_translate("Dialog", "Pygments color schemes."))
self.listWidgetColorSchemes.setStatusTip(
_translate("Dialog", "Pygments color schemes."))
self.tabWidget.setTabText(self.tabWidget.indexOf(self.tabStyle),
_translate("Dialog", "Style"))
self.label_8.setText(_translate("Dialog", "Standard:"))
self.label_9.setText(_translate("Dialog", "Free format:"))
self.checkBoxFreeFormat.setToolTip(
_translate("Dialog", "Code and compile with free format support"))
self.label_15.setText(_translate("Dialog", "C compiler flags:"))
self.cb_g.setToolTip(
_translate("Dialog",
"Enable C compiler debug / stack check / trace"))
self.cb_g.setText(_translate("Dialog", "-g"))
self.cb_ftrace.setToolTip(
_translate(
"Dialog",
"<html><head/><body><p>Generate trace code</p><p> - Executed SECTION/PARAGRAPH</p></body></html>"
))
self.cb_ftrace.setText(_translate("Dialog", "-ftrace"))
self.cb_ftraceall.setToolTip(
_translate(
"Dialog",
"<html><head/><body><p>Generate trace code</p><p> - Executed SECTION/PARAGRAPH/STATEMENTS</p><p> - Turned on by -debug</p></body></html>"
))
self.cb_ftraceall.setText(_translate("Dialog", "-ftraceall"))
self.cb_debugging_line.setToolTip(
_translate(
"Dialog",
"<html><head/><body><p>Enable debugging lines</p><p> - \'D\' in indicator column or floating >>D</p></body></html>"
))
self.cb_debugging_line.setText(_translate("Dialog",
"-fdebugging-line"))
self.cb_static.setToolTip(_translate("Dialog", "Link statically"))
self.cb_static.setText(_translate("Dialog", "-static"))
self.le_compiler_flags.setToolTip(
_translate("Dialog", "You can add other compiler flags here"))
self.label_compiler_path.setText(
_translate("Dialog", "Custom compiler path:"))
self.checkBoxCustomPath.setToolTip(
_translate("Dialog", "Enable/Disable custom compiler path"))
self.checkBoxCustomPath.setStatusTip(
_translate("Dialog", "Enable/Disable custom compiler path"))
self.lineEditCompilerPath.setToolTip(
_translate(
"Dialog",
"Path to the compiler (should not include the executable name, only the directory path)"
))
self.lineEditCompilerPath.setStatusTip(
_translate(
"Dialog",
"Path to the compiler (should not include the executable name, only the directory path)"
))
self.comboBoxStandard.setItemText(0, _translate("Dialog", "default"))
self.comboBoxStandard.setItemText(1, _translate("Dialog", "cobol2002"))
self.comboBoxStandard.setItemText(2, _translate("Dialog", "cobol85"))
self.comboBoxStandard.setItemText(3, _translate("Dialog", "ibm"))
self.comboBoxStandard.setItemText(4, _translate("Dialog", "mvs"))
self.comboBoxStandard.setItemText(5, _translate("Dialog", "bs2000"))
self.comboBoxStandard.setItemText(6, _translate("Dialog", "mf"))
self.tabWidget.setTabText(self.tabWidget.indexOf(self.tabCompiler),
_translate("Dialog", "Compiler"))
self.label_5.setText(_translate("Dialog", "Run in external terminal:"))
self.checkBoxRunExtTerm.setToolTip(
_translate(
"Dialog",
"Enable/Disable running program in an external terminal"))
self.checkBoxRunExtTerm.setStatusTip(
_translate(
"Dialog",
"Enable/Disable running program in an external terminal"))
self.lineEditRunTerm.setToolTip(
_translate(
"Dialog",
"External terminal command (filename is appended at the end of the command)"
))
self.lineEditRunTerm.setStatusTip(
_translate("Dialog", "External terminal command"))
self.tabWidget.setTabText(self.tabWidget.indexOf(self.tabRun),
_translate("Dialog", "Run"))
def setupUi(self, Dialog):
Dialog.setObjectName("Dialog")
Dialog.resize(644, 619)
icon = QtGui.QIcon.fromTheme("preferences-system")
Dialog.setWindowIcon(icon)
self.gridLayout_2 = QtWidgets.QGridLayout(Dialog)
self.gridLayout_2.setContentsMargins(6, 6, 6, 6)
self.gridLayout_2.setObjectName("gridLayout_2")
self.widget = QtWidgets.QWidget(Dialog)
self.widget.setStyleSheet("")
self.widget.setObjectName("widget")
self.widget_2 = QtWidgets.QGridLayout(self.widget)
self.widget_2.setContentsMargins(0, 0, 0, 0)
self.widget_2.setSpacing(0)
self.widget_2.setObjectName("widget_2")
self.tabWidget = QtWidgets.QTabWidget(self.widget)
self.tabWidget.setStyleSheet("")
self.tabWidget.setTabPosition(QtWidgets.QTabWidget.North)
self.tabWidget.setTabShape(QtWidgets.QTabWidget.Rounded)
self.tabWidget.setUsesScrollButtons(True)
self.tabWidget.setDocumentMode(False)
self.tabWidget.setObjectName("tabWidget")
self.tabEditor = QtWidgets.QWidget()
self.tabEditor.setObjectName("tabEditor")
self.verticalLayout = QtWidgets.QVBoxLayout(self.tabEditor)
self.verticalLayout.setObjectName("verticalLayout")
self.groupBox_3 = QtWidgets.QGroupBox(self.tabEditor)
self.groupBox_3.setObjectName("groupBox_3")
self.formLayout = QtWidgets.QFormLayout(self.groupBox_3)
self.formLayout.setObjectName("formLayout")
self.label_10 = QtWidgets.QLabel(self.groupBox_3)
self.label_10.setObjectName("label_10")
self.formLayout.setWidget(0, QtWidgets.QFormLayout.LabelRole, self.label_10)
self.checkBoxViewLineNumber = QtWidgets.QCheckBox(self.groupBox_3)
self.checkBoxViewLineNumber.setText("")
self.checkBoxViewLineNumber.setChecked(True)
self.checkBoxViewLineNumber.setObjectName("checkBoxViewLineNumber")
self.formLayout.setWidget(0, QtWidgets.QFormLayout.FieldRole, self.checkBoxViewLineNumber)
self.label_11 = QtWidgets.QLabel(self.groupBox_3)
self.label_11.setObjectName("label_11")
self.formLayout.setWidget(1, QtWidgets.QFormLayout.LabelRole, self.label_11)
self.checkBoxHighlightCurrentLine = QtWidgets.QCheckBox(self.groupBox_3)
self.checkBoxHighlightCurrentLine.setText("")
self.checkBoxHighlightCurrentLine.setChecked(True)
self.checkBoxHighlightCurrentLine.setObjectName("checkBoxHighlightCurrentLine")
self.formLayout.setWidget(1, QtWidgets.QFormLayout.FieldRole, self.checkBoxHighlightCurrentLine)
self.label_12 = QtWidgets.QLabel(self.groupBox_3)
self.label_12.setObjectName("label_12")
self.formLayout.setWidget(2, QtWidgets.QFormLayout.LabelRole, self.label_12)
self.checkBoxHighlightWhitespaces = QtWidgets.QCheckBox(self.groupBox_3)
self.checkBoxHighlightWhitespaces.setText("")
self.checkBoxHighlightWhitespaces.setChecked(True)
self.checkBoxHighlightWhitespaces.setObjectName("checkBoxHighlightWhitespaces")
self.formLayout.setWidget(2, QtWidgets.QFormLayout.FieldRole, self.checkBoxHighlightWhitespaces)
self.label_13 = QtWidgets.QLabel(self.groupBox_3)
self.label_13.setObjectName("label_13")
self.formLayout.setWidget(3, QtWidgets.QFormLayout.LabelRole, self.label_13)
self.checkBoxShowErrors = QtWidgets.QCheckBox(self.groupBox_3)
self.checkBoxShowErrors.setText("")
self.checkBoxShowErrors.setObjectName("checkBoxShowErrors")
self.formLayout.setWidget(3, QtWidgets.QFormLayout.FieldRole, self.checkBoxShowErrors)
self.verticalLayout.addWidget(self.groupBox_3)
self.groupBox_2 = QtWidgets.QGroupBox(self.tabEditor)
self.groupBox_2.setObjectName("groupBox_2")
self.formLayout_2 = QtWidgets.QFormLayout(self.groupBox_2)
self.formLayout_2.setObjectName("formLayout_2")
self.label = QtWidgets.QLabel(self.groupBox_2)
self.label.setObjectName("label")
self.formLayout_2.setWidget(1, QtWidgets.QFormLayout.LabelRole, self.label)
self.label_14 = QtWidgets.QLabel(self.groupBox_2)
self.label_14.setObjectName("label_14")
self.formLayout_2.setWidget(2, QtWidgets.QFormLayout.LabelRole, self.label_14)
self.spinBoxEditorTabLen = QtWidgets.QSpinBox(self.groupBox_2)
self.spinBoxEditorTabLen.setMaximum(99)
self.spinBoxEditorTabLen.setProperty("value", 4)
self.spinBoxEditorTabLen.setObjectName("spinBoxEditorTabLen")
self.formLayout_2.setWidget(1, QtWidgets.QFormLayout.FieldRole, self.spinBoxEditorTabLen)
self.checkBoxEditorAutoIndent = QtWidgets.QCheckBox(self.groupBox_2)
self.checkBoxEditorAutoIndent.setText("")
self.checkBoxEditorAutoIndent.setChecked(True)
self.checkBoxEditorAutoIndent.setObjectName("checkBoxEditorAutoIndent")
self.formLayout_2.setWidget(2, QtWidgets.QFormLayout.FieldRole, self.checkBoxEditorAutoIndent)
self.verticalLayout.addWidget(self.groupBox_2)
self.groupBox_4 = QtWidgets.QGroupBox(self.tabEditor)
self.groupBox_4.setObjectName("groupBox_4")
self.formLayout_4 = QtWidgets.QFormLayout(self.groupBox_4)
self.formLayout_4.setObjectName("formLayout_4")
self.label_2 = QtWidgets.QLabel(self.groupBox_4)
self.label_2.setObjectName("label_2")
self.formLayout_4.setWidget(1, QtWidgets.QFormLayout.LabelRole, self.label_2)
self.spinBoxEditorCCTriggerLen = QtWidgets.QSpinBox(self.groupBox_4)
self.spinBoxEditorCCTriggerLen.setProperty("value", 1)
self.spinBoxEditorCCTriggerLen.setObjectName("spinBoxEditorCCTriggerLen")
self.formLayout_4.setWidget(1, QtWidgets.QFormLayout.FieldRole, self.spinBoxEditorCCTriggerLen)
self.verticalLayout.addWidget(self.groupBox_4)
self.groupBox = QtWidgets.QGroupBox(self.tabEditor)
self.groupBox.setObjectName("groupBox")
self.formLayout_7 = QtWidgets.QFormLayout(self.groupBox)
self.formLayout_7.setObjectName("formLayout_7")
self.label_7 = QtWidgets.QLabel(self.groupBox)
self.label_7.setObjectName("label_7")
self.formLayout_7.setWidget(0, QtWidgets.QFormLayout.LabelRole, self.label_7)
self.lineEditCommentIndicator = QtWidgets.QLineEdit(self.groupBox)
font = QtGui.QFont()
font.setFamily("Monospace")
self.lineEditCommentIndicator.setFont(font)
self.lineEditCommentIndicator.setObjectName("lineEditCommentIndicator")
self.formLayout_7.setWidget(0, QtWidgets.QFormLayout.FieldRole, self.lineEditCommentIndicator)
self.verticalLayout.addWidget(self.groupBox)
spacerItem = QtWidgets.QSpacerItem(20, 40, QtWidgets.QSizePolicy.Minimum, QtWidgets.QSizePolicy.Expanding)
self.verticalLayout.addItem(spacerItem)
icon = QtGui.QIcon()
icon.addPixmap(QtGui.QPixmap(":/ide-icons/rc/cobol-mimetype.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.tabWidget.addTab(self.tabEditor, icon, "")
self.tabStyle = QtWidgets.QWidget()
self.tabStyle.setObjectName("tabStyle")
self.verticalLayout_3 = QtWidgets.QVBoxLayout(self.tabStyle)
self.verticalLayout_3.setObjectName("verticalLayout_3")
self.groupBox_5 = QtWidgets.QGroupBox(self.tabStyle)
self.groupBox_5.setObjectName("groupBox_5")
self.verticalLayout_2 = QtWidgets.QVBoxLayout(self.groupBox_5)
self.verticalLayout_2.setObjectName("verticalLayout_2")
self.horizontalLayout_3 = QtWidgets.QHBoxLayout()
self.horizontalLayout_3.setObjectName("horizontalLayout_3")
spacerItem1 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Expanding, QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout_3.addItem(spacerItem1)
self.radioButtonColorWhite = QtWidgets.QRadioButton(self.groupBox_5)
self.radioButtonColorWhite.setChecked(True)
self.radioButtonColorWhite.setObjectName("radioButtonColorWhite")
self.horizontalLayout_3.addWidget(self.radioButtonColorWhite)
self.radioButtonColorDark = QtWidgets.QRadioButton(self.groupBox_5)
self.radioButtonColorDark.setObjectName("radioButtonColorDark")
self.horizontalLayout_3.addWidget(self.radioButtonColorDark)
spacerItem2 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Expanding, QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout_3.addItem(spacerItem2)
self.verticalLayout_2.addLayout(self.horizontalLayout_3)
self.layoutIconTheme = QtWidgets.QFormLayout()
self.layoutIconTheme.setContentsMargins(-1, 0, -1, -1)
self.layoutIconTheme.setObjectName("layoutIconTheme")
self.lblIconTheme = QtWidgets.QLabel(self.groupBox_5)
self.lblIconTheme.setObjectName("lblIconTheme")
self.layoutIconTheme.setWidget(0, QtWidgets.QFormLayout.LabelRole, self.lblIconTheme)
self.comboBoxIconTheme = QtWidgets.QComboBox(self.groupBox_5)
self.comboBoxIconTheme.setObjectName("comboBoxIconTheme")
self.layoutIconTheme.setWidget(0, QtWidgets.QFormLayout.FieldRole, self.comboBoxIconTheme)
self.verticalLayout_2.addLayout(self.layoutIconTheme)
self.verticalLayout_3.addWidget(self.groupBox_5)
self.groupBox_6 = QtWidgets.QGroupBox(self.tabStyle)
self.groupBox_6.setObjectName("groupBox_6")
self.formLayout_3 = QtWidgets.QFormLayout(self.groupBox_6)
self.formLayout_3.setObjectName("formLayout_3")
self.label_3 = QtWidgets.QLabel(self.groupBox_6)
self.label_3.setObjectName("label_3")
self.formLayout_3.setWidget(0, QtWidgets.QFormLayout.LabelRole, self.label_3)
self.horizontalLayout_4 = QtWidgets.QHBoxLayout()
self.horizontalLayout_4.setObjectName("horizontalLayout_4")
self.fontComboBox = QtWidgets.QFontComboBox(self.groupBox_6)
self.fontComboBox.setFontFilters(QtWidgets.QFontComboBox.MonospacedFonts)
font = QtGui.QFont()
font.setFamily("DejaVu Sans Mono")
font.setPointSize(10)
self.fontComboBox.setCurrentFont(font)
self.fontComboBox.setObjectName("fontComboBox")
self.horizontalLayout_4.addWidget(self.fontComboBox)
self.formLayout_3.setLayout(0, QtWidgets.QFormLayout.FieldRole, self.horizontalLayout_4)
self.label_4 = QtWidgets.QLabel(self.groupBox_6)
self.label_4.setObjectName("label_4")
self.formLayout_3.setWidget(1, QtWidgets.QFormLayout.LabelRole, self.label_4)
self.horizontalLayout_5 = QtWidgets.QHBoxLayout()
self.horizontalLayout_5.setObjectName("horizontalLayout_5")
self.spinBoxFontSize = QtWidgets.QSpinBox(self.groupBox_6)
self.spinBoxFontSize.setProperty("value", 10)
self.spinBoxFontSize.setObjectName("spinBoxFontSize")
self.horizontalLayout_5.addWidget(self.spinBoxFontSize)
self.formLayout_3.setLayout(1, QtWidgets.QFormLayout.FieldRole, self.horizontalLayout_5)
self.verticalLayout_3.addWidget(self.groupBox_6)
self.groupBox_7 = QtWidgets.QGroupBox(self.tabStyle)
self.groupBox_7.setObjectName("groupBox_7")
self.gridLayout_4 = QtWidgets.QGridLayout(self.groupBox_7)
self.gridLayout_4.setObjectName("gridLayout_4")
self.listWidgetColorSchemes = QtWidgets.QListWidget(self.groupBox_7)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Minimum, QtWidgets.QSizePolicy.Expanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.listWidgetColorSchemes.sizePolicy().hasHeightForWidth())
self.listWidgetColorSchemes.setSizePolicy(sizePolicy)
self.listWidgetColorSchemes.setObjectName("listWidgetColorSchemes")
self.gridLayout_4.addWidget(self.listWidgetColorSchemes, 0, 0, 1, 1)
self.plainTextEdit = CobolCodeEdit(self.groupBox_7)
self.plainTextEdit.setObjectName("plainTextEdit")
self.gridLayout_4.addWidget(self.plainTextEdit, 0, 1, 1, 1)
self.verticalLayout_3.addWidget(self.groupBox_7)
icon = QtGui.QIcon.fromTheme("applications-graphics")
self.tabWidget.addTab(self.tabStyle, icon, "")
self.tabCompiler = QtWidgets.QWidget()
self.tabCompiler.setObjectName("tabCompiler")
self.formLayout_6 = QtWidgets.QFormLayout(self.tabCompiler)
self.formLayout_6.setFieldGrowthPolicy(QtWidgets.QFormLayout.AllNonFixedFieldsGrow)
self.formLayout_6.setObjectName("formLayout_6")
self.label_8 = QtWidgets.QLabel(self.tabCompiler)
self.label_8.setObjectName("label_8")
self.formLayout_6.setWidget(0, QtWidgets.QFormLayout.LabelRole, self.label_8)
self.label_9 = QtWidgets.QLabel(self.tabCompiler)
self.label_9.setObjectName("label_9")
self.formLayout_6.setWidget(2, QtWidgets.QFormLayout.LabelRole, self.label_9)
self.checkBoxFreeFormat = QtWidgets.QCheckBox(self.tabCompiler)
self.checkBoxFreeFormat.setText("")
self.checkBoxFreeFormat.setObjectName("checkBoxFreeFormat")
self.formLayout_6.setWidget(2, QtWidgets.QFormLayout.FieldRole, self.checkBoxFreeFormat)
self.label_15 = QtWidgets.QLabel(self.tabCompiler)
self.label_15.setObjectName("label_15")
self.formLayout_6.setWidget(3, QtWidgets.QFormLayout.LabelRole, self.label_15)
self.verticalLayout_4 = QtWidgets.QVBoxLayout()
self.verticalLayout_4.setObjectName("verticalLayout_4")
self.cb_g = QtWidgets.QCheckBox(self.tabCompiler)
self.cb_g.setObjectName("cb_g")
self.verticalLayout_4.addWidget(self.cb_g)
self.cb_ftrace = QtWidgets.QCheckBox(self.tabCompiler)
self.cb_ftrace.setObjectName("cb_ftrace")
self.verticalLayout_4.addWidget(self.cb_ftrace)
self.cb_ftraceall = QtWidgets.QCheckBox(self.tabCompiler)
self.cb_ftraceall.setObjectName("cb_ftraceall")
self.verticalLayout_4.addWidget(self.cb_ftraceall)
self.cb_debugging_line = QtWidgets.QCheckBox(self.tabCompiler)
self.cb_debugging_line.setObjectName("cb_debugging_line")
self.verticalLayout_4.addWidget(self.cb_debugging_line)
self.cb_static = QtWidgets.QCheckBox(self.tabCompiler)
self.cb_static.setObjectName("cb_static")
self.verticalLayout_4.addWidget(self.cb_static)
self.le_compiler_flags = QtWidgets.QLineEdit(self.tabCompiler)
self.le_compiler_flags.setObjectName("le_compiler_flags")
self.verticalLayout_4.addWidget(self.le_compiler_flags)
self.formLayout_6.setLayout(3, QtWidgets.QFormLayout.FieldRole, self.verticalLayout_4)
self.label_compiler_path = QtWidgets.QLabel(self.tabCompiler)
self.label_compiler_path.setObjectName("label_compiler_path")
self.formLayout_6.setWidget(4, QtWidgets.QFormLayout.LabelRole, self.label_compiler_path)
self.checkBoxCustomPath = QtWidgets.QCheckBox(self.tabCompiler)
self.checkBoxCustomPath.setText("")
self.checkBoxCustomPath.setObjectName("checkBoxCustomPath")
self.formLayout_6.setWidget(4, QtWidgets.QFormLayout.FieldRole, self.checkBoxCustomPath)
self.lineEditCompilerPath = QtWidgets.QLineEdit(self.tabCompiler)
self.lineEditCompilerPath.setObjectName("lineEditCompilerPath")
self.formLayout_6.setWidget(5, QtWidgets.QFormLayout.FieldRole, self.lineEditCompilerPath)
self.comboBoxStandard = QtWidgets.QComboBox(self.tabCompiler)
self.comboBoxStandard.setObjectName("comboBoxStandard")
self.comboBoxStandard.addItem("")
self.comboBoxStandard.addItem("")
self.comboBoxStandard.addItem("")
self.comboBoxStandard.addItem("")
self.comboBoxStandard.addItem("")
self.comboBoxStandard.addItem("")
self.comboBoxStandard.addItem("")
self.formLayout_6.setWidget(1, QtWidgets.QFormLayout.FieldRole, self.comboBoxStandard)
icon = QtGui.QIcon.fromTheme("exec")
self.tabWidget.addTab(self.tabCompiler, icon, "")
self.tabRun = QtWidgets.QWidget()
self.tabRun.setObjectName("tabRun")
self.formLayout_5 = QtWidgets.QFormLayout(self.tabRun)
self.formLayout_5.setFieldGrowthPolicy(QtWidgets.QFormLayout.AllNonFixedFieldsGrow)
self.formLayout_5.setObjectName("formLayout_5")
self.label_5 = QtWidgets.QLabel(self.tabRun)
self.label_5.setObjectName("label_5")
self.formLayout_5.setWidget(0, QtWidgets.QFormLayout.LabelRole, self.label_5)
self.checkBoxRunExtTerm = QtWidgets.QCheckBox(self.tabRun)
self.checkBoxRunExtTerm.setText("")
self.checkBoxRunExtTerm.setObjectName("checkBoxRunExtTerm")
self.formLayout_5.setWidget(0, QtWidgets.QFormLayout.FieldRole, self.checkBoxRunExtTerm)
self.lineEditRunTerm = QtWidgets.QLineEdit(self.tabRun)
self.lineEditRunTerm.setObjectName("lineEditRunTerm")
self.formLayout_5.setWidget(1, QtWidgets.QFormLayout.FieldRole, self.lineEditRunTerm)
icon = QtGui.QIcon.fromTheme("media-playback-start")
self.tabWidget.addTab(self.tabRun, icon, "")
self.widget_2.addWidget(self.tabWidget, 0, 0, 1, 1)
self.gridLayout_2.addWidget(self.widget, 0, 0, 1, 1)
self.gridLayout_3 = QtWidgets.QGridLayout()
self.gridLayout_3.setContentsMargins(9, 9, 9, 9)
self.gridLayout_3.setObjectName("gridLayout_3")
self.buttonBox = QtWidgets.QDialogButtonBox(Dialog)
self.buttonBox.setOrientation(QtCore.Qt.Horizontal)
self.buttonBox.setStandardButtons(QtWidgets.QDialogButtonBox.Cancel|QtWidgets.QDialogButtonBox.Ok|QtWidgets.QDialogButtonBox.Reset|QtWidgets.QDialogButtonBox.RestoreDefaults)
self.buttonBox.setObjectName("buttonBox")
self.gridLayout_3.addWidget(self.buttonBox, 0, 0, 1, 1)
self.gridLayout_2.addLayout(self.gridLayout_3, 2, 0, 1, 1)
self.retranslateUi(Dialog)
self.tabWidget.setCurrentIndex(2)
self.buttonBox.accepted.connect(Dialog.accept)
self.buttonBox.rejected.connect(Dialog.reject)
QtCore.QMetaObject.connectSlotsByName(Dialog)
class Ui_Dialog(object):
def setupUi(self, Dialog):
Dialog.setObjectName("Dialog")
Dialog.resize(644, 619)
icon = QtGui.QIcon.fromTheme("preferences-system")
Dialog.setWindowIcon(icon)
self.gridLayout_2 = QtWidgets.QGridLayout(Dialog)
self.gridLayout_2.setContentsMargins(6, 6, 6, 6)
self.gridLayout_2.setObjectName("gridLayout_2")
self.widget = QtWidgets.QWidget(Dialog)
self.widget.setStyleSheet("")
self.widget.setObjectName("widget")
self.widget_2 = QtWidgets.QGridLayout(self.widget)
self.widget_2.setContentsMargins(0, 0, 0, 0)
self.widget_2.setSpacing(0)
self.widget_2.setObjectName("widget_2")
self.tabWidget = QtWidgets.QTabWidget(self.widget)
self.tabWidget.setStyleSheet("")
self.tabWidget.setTabPosition(QtWidgets.QTabWidget.North)
self.tabWidget.setTabShape(QtWidgets.QTabWidget.Rounded)
self.tabWidget.setUsesScrollButtons(True)
self.tabWidget.setDocumentMode(False)
self.tabWidget.setObjectName("tabWidget")
self.tabEditor = QtWidgets.QWidget()
self.tabEditor.setObjectName("tabEditor")
self.verticalLayout = QtWidgets.QVBoxLayout(self.tabEditor)
self.verticalLayout.setObjectName("verticalLayout")
self.groupBox_3 = QtWidgets.QGroupBox(self.tabEditor)
self.groupBox_3.setObjectName("groupBox_3")
self.formLayout = QtWidgets.QFormLayout(self.groupBox_3)
self.formLayout.setObjectName("formLayout")
self.label_10 = QtWidgets.QLabel(self.groupBox_3)
self.label_10.setObjectName("label_10")
self.formLayout.setWidget(0, QtWidgets.QFormLayout.LabelRole, self.label_10)
self.checkBoxViewLineNumber = QtWidgets.QCheckBox(self.groupBox_3)
self.checkBoxViewLineNumber.setText("")
self.checkBoxViewLineNumber.setChecked(True)
self.checkBoxViewLineNumber.setObjectName("checkBoxViewLineNumber")
self.formLayout.setWidget(0, QtWidgets.QFormLayout.FieldRole, self.checkBoxViewLineNumber)
self.label_11 = QtWidgets.QLabel(self.groupBox_3)
self.label_11.setObjectName("label_11")
self.formLayout.setWidget(1, QtWidgets.QFormLayout.LabelRole, self.label_11)
self.checkBoxHighlightCurrentLine = QtWidgets.QCheckBox(self.groupBox_3)
self.checkBoxHighlightCurrentLine.setText("")
self.checkBoxHighlightCurrentLine.setChecked(True)
self.checkBoxHighlightCurrentLine.setObjectName("checkBoxHighlightCurrentLine")
self.formLayout.setWidget(1, QtWidgets.QFormLayout.FieldRole, self.checkBoxHighlightCurrentLine)
self.label_12 = QtWidgets.QLabel(self.groupBox_3)
self.label_12.setObjectName("label_12")
self.formLayout.setWidget(2, QtWidgets.QFormLayout.LabelRole, self.label_12)
self.checkBoxHighlightWhitespaces = QtWidgets.QCheckBox(self.groupBox_3)
self.checkBoxHighlightWhitespaces.setText("")
self.checkBoxHighlightWhitespaces.setChecked(True)
self.checkBoxHighlightWhitespaces.setObjectName("checkBoxHighlightWhitespaces")
self.formLayout.setWidget(2, QtWidgets.QFormLayout.FieldRole, self.checkBoxHighlightWhitespaces)
self.label_13 = QtWidgets.QLabel(self.groupBox_3)
self.label_13.setObjectName("label_13")
self.formLayout.setWidget(3, QtWidgets.QFormLayout.LabelRole, self.label_13)
self.checkBoxShowErrors = QtWidgets.QCheckBox(self.groupBox_3)
self.checkBoxShowErrors.setText("")
self.checkBoxShowErrors.setObjectName("checkBoxShowErrors")
self.formLayout.setWidget(3, QtWidgets.QFormLayout.FieldRole, self.checkBoxShowErrors)
self.verticalLayout.addWidget(self.groupBox_3)
self.groupBox_2 = QtWidgets.QGroupBox(self.tabEditor)
self.groupBox_2.setObjectName("groupBox_2")
self.formLayout_2 = QtWidgets.QFormLayout(self.groupBox_2)
self.formLayout_2.setObjectName("formLayout_2")
self.label = QtWidgets.QLabel(self.groupBox_2)
self.label.setObjectName("label")
self.formLayout_2.setWidget(1, QtWidgets.QFormLayout.LabelRole, self.label)
self.label_14 = QtWidgets.QLabel(self.groupBox_2)
self.label_14.setObjectName("label_14")
self.formLayout_2.setWidget(2, QtWidgets.QFormLayout.LabelRole, self.label_14)
self.spinBoxEditorTabLen = QtWidgets.QSpinBox(self.groupBox_2)
self.spinBoxEditorTabLen.setMaximum(99)
self.spinBoxEditorTabLen.setProperty("value", 4)
self.spinBoxEditorTabLen.setObjectName("spinBoxEditorTabLen")
self.formLayout_2.setWidget(1, QtWidgets.QFormLayout.FieldRole, self.spinBoxEditorTabLen)
self.checkBoxEditorAutoIndent = QtWidgets.QCheckBox(self.groupBox_2)
self.checkBoxEditorAutoIndent.setText("")
self.checkBoxEditorAutoIndent.setChecked(True)
self.checkBoxEditorAutoIndent.setObjectName("checkBoxEditorAutoIndent")
self.formLayout_2.setWidget(2, QtWidgets.QFormLayout.FieldRole, self.checkBoxEditorAutoIndent)
self.verticalLayout.addWidget(self.groupBox_2)
self.groupBox_4 = QtWidgets.QGroupBox(self.tabEditor)
self.groupBox_4.setObjectName("groupBox_4")
self.formLayout_4 = QtWidgets.QFormLayout(self.groupBox_4)
self.formLayout_4.setObjectName("formLayout_4")
self.label_2 = QtWidgets.QLabel(self.groupBox_4)
self.label_2.setObjectName("label_2")
self.formLayout_4.setWidget(1, QtWidgets.QFormLayout.LabelRole, self.label_2)
self.spinBoxEditorCCTriggerLen = QtWidgets.QSpinBox(self.groupBox_4)
self.spinBoxEditorCCTriggerLen.setProperty("value", 1)
self.spinBoxEditorCCTriggerLen.setObjectName("spinBoxEditorCCTriggerLen")
self.formLayout_4.setWidget(1, QtWidgets.QFormLayout.FieldRole, self.spinBoxEditorCCTriggerLen)
self.verticalLayout.addWidget(self.groupBox_4)
self.groupBox = QtWidgets.QGroupBox(self.tabEditor)
self.groupBox.setObjectName("groupBox")
self.formLayout_7 = QtWidgets.QFormLayout(self.groupBox)
self.formLayout_7.setObjectName("formLayout_7")
self.label_7 = QtWidgets.QLabel(self.groupBox)
self.label_7.setObjectName("label_7")
self.formLayout_7.setWidget(0, QtWidgets.QFormLayout.LabelRole, self.label_7)
self.lineEditCommentIndicator = QtWidgets.QLineEdit(self.groupBox)
font = QtGui.QFont()
font.setFamily("Monospace")
self.lineEditCommentIndicator.setFont(font)
self.lineEditCommentIndicator.setObjectName("lineEditCommentIndicator")
self.formLayout_7.setWidget(0, QtWidgets.QFormLayout.FieldRole, self.lineEditCommentIndicator)
self.verticalLayout.addWidget(self.groupBox)
spacerItem = QtWidgets.QSpacerItem(20, 40, QtWidgets.QSizePolicy.Minimum, QtWidgets.QSizePolicy.Expanding)
self.verticalLayout.addItem(spacerItem)
icon = QtGui.QIcon()
icon.addPixmap(QtGui.QPixmap(":/ide-icons/rc/cobol-mimetype.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.tabWidget.addTab(self.tabEditor, icon, "")
self.tabStyle = QtWidgets.QWidget()
self.tabStyle.setObjectName("tabStyle")
self.verticalLayout_3 = QtWidgets.QVBoxLayout(self.tabStyle)
self.verticalLayout_3.setObjectName("verticalLayout_3")
self.groupBox_5 = QtWidgets.QGroupBox(self.tabStyle)
self.groupBox_5.setObjectName("groupBox_5")
self.verticalLayout_2 = QtWidgets.QVBoxLayout(self.groupBox_5)
self.verticalLayout_2.setObjectName("verticalLayout_2")
self.horizontalLayout_3 = QtWidgets.QHBoxLayout()
self.horizontalLayout_3.setObjectName("horizontalLayout_3")
spacerItem1 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Expanding, QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout_3.addItem(spacerItem1)
self.radioButtonColorWhite = QtWidgets.QRadioButton(self.groupBox_5)
self.radioButtonColorWhite.setChecked(True)
self.radioButtonColorWhite.setObjectName("radioButtonColorWhite")
self.horizontalLayout_3.addWidget(self.radioButtonColorWhite)
self.radioButtonColorDark = QtWidgets.QRadioButton(self.groupBox_5)
self.radioButtonColorDark.setObjectName("radioButtonColorDark")
self.horizontalLayout_3.addWidget(self.radioButtonColorDark)
spacerItem2 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Expanding, QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout_3.addItem(spacerItem2)
self.verticalLayout_2.addLayout(self.horizontalLayout_3)
self.layoutIconTheme = QtWidgets.QFormLayout()
self.layoutIconTheme.setContentsMargins(-1, 0, -1, -1)
self.layoutIconTheme.setObjectName("layoutIconTheme")
self.lblIconTheme = QtWidgets.QLabel(self.groupBox_5)
self.lblIconTheme.setObjectName("lblIconTheme")
self.layoutIconTheme.setWidget(0, QtWidgets.QFormLayout.LabelRole, self.lblIconTheme)
self.comboBoxIconTheme = QtWidgets.QComboBox(self.groupBox_5)
self.comboBoxIconTheme.setObjectName("comboBoxIconTheme")
self.layoutIconTheme.setWidget(0, QtWidgets.QFormLayout.FieldRole, self.comboBoxIconTheme)
self.verticalLayout_2.addLayout(self.layoutIconTheme)
self.verticalLayout_3.addWidget(self.groupBox_5)
self.groupBox_6 = QtWidgets.QGroupBox(self.tabStyle)
self.groupBox_6.setObjectName("groupBox_6")
self.formLayout_3 = QtWidgets.QFormLayout(self.groupBox_6)
self.formLayout_3.setObjectName("formLayout_3")
self.label_3 = QtWidgets.QLabel(self.groupBox_6)
self.label_3.setObjectName("label_3")
self.formLayout_3.setWidget(0, QtWidgets.QFormLayout.LabelRole, self.label_3)
self.horizontalLayout_4 = QtWidgets.QHBoxLayout()
self.horizontalLayout_4.setObjectName("horizontalLayout_4")
self.fontComboBox = QtWidgets.QFontComboBox(self.groupBox_6)
self.fontComboBox.setFontFilters(QtWidgets.QFontComboBox.MonospacedFonts)
font = QtGui.QFont()
font.setFamily("DejaVu Sans Mono")
font.setPointSize(10)
self.fontComboBox.setCurrentFont(font)
self.fontComboBox.setObjectName("fontComboBox")
self.horizontalLayout_4.addWidget(self.fontComboBox)
self.formLayout_3.setLayout(0, QtWidgets.QFormLayout.FieldRole, self.horizontalLayout_4)
self.label_4 = QtWidgets.QLabel(self.groupBox_6)
self.label_4.setObjectName("label_4")
self.formLayout_3.setWidget(1, QtWidgets.QFormLayout.LabelRole, self.label_4)
self.horizontalLayout_5 = QtWidgets.QHBoxLayout()
self.horizontalLayout_5.setObjectName("horizontalLayout_5")
self.spinBoxFontSize = QtWidgets.QSpinBox(self.groupBox_6)
self.spinBoxFontSize.setProperty("value", 10)
self.spinBoxFontSize.setObjectName("spinBoxFontSize")
self.horizontalLayout_5.addWidget(self.spinBoxFontSize)
self.formLayout_3.setLayout(1, QtWidgets.QFormLayout.FieldRole, self.horizontalLayout_5)
self.verticalLayout_3.addWidget(self.groupBox_6)
self.groupBox_7 = QtWidgets.QGroupBox(self.tabStyle)
self.groupBox_7.setObjectName("groupBox_7")
self.gridLayout_4 = QtWidgets.QGridLayout(self.groupBox_7)
self.gridLayout_4.setObjectName("gridLayout_4")
self.listWidgetColorSchemes = QtWidgets.QListWidget(self.groupBox_7)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Minimum, QtWidgets.QSizePolicy.Expanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.listWidgetColorSchemes.sizePolicy().hasHeightForWidth())
self.listWidgetColorSchemes.setSizePolicy(sizePolicy)
self.listWidgetColorSchemes.setObjectName("listWidgetColorSchemes")
self.gridLayout_4.addWidget(self.listWidgetColorSchemes, 0, 0, 1, 1)
self.plainTextEdit = CobolCodeEdit(self.groupBox_7)
self.plainTextEdit.setObjectName("plainTextEdit")
self.gridLayout_4.addWidget(self.plainTextEdit, 0, 1, 1, 1)
self.verticalLayout_3.addWidget(self.groupBox_7)
icon = QtGui.QIcon.fromTheme("applications-graphics")
self.tabWidget.addTab(self.tabStyle, icon, "")
self.tabCompiler = QtWidgets.QWidget()
self.tabCompiler.setObjectName("tabCompiler")
self.formLayout_6 = QtWidgets.QFormLayout(self.tabCompiler)
self.formLayout_6.setFieldGrowthPolicy(QtWidgets.QFormLayout.AllNonFixedFieldsGrow)
self.formLayout_6.setObjectName("formLayout_6")
self.label_8 = QtWidgets.QLabel(self.tabCompiler)
self.label_8.setObjectName("label_8")
self.formLayout_6.setWidget(0, QtWidgets.QFormLayout.LabelRole, self.label_8)
self.label_9 = QtWidgets.QLabel(self.tabCompiler)
self.label_9.setObjectName("label_9")
self.formLayout_6.setWidget(2, QtWidgets.QFormLayout.LabelRole, self.label_9)
self.checkBoxFreeFormat = QtWidgets.QCheckBox(self.tabCompiler)
self.checkBoxFreeFormat.setText("")
self.checkBoxFreeFormat.setObjectName("checkBoxFreeFormat")
self.formLayout_6.setWidget(2, QtWidgets.QFormLayout.FieldRole, self.checkBoxFreeFormat)
self.label_15 = QtWidgets.QLabel(self.tabCompiler)
self.label_15.setObjectName("label_15")
self.formLayout_6.setWidget(3, QtWidgets.QFormLayout.LabelRole, self.label_15)
self.verticalLayout_4 = QtWidgets.QVBoxLayout()
self.verticalLayout_4.setObjectName("verticalLayout_4")
self.cb_g = QtWidgets.QCheckBox(self.tabCompiler)
self.cb_g.setObjectName("cb_g")
self.verticalLayout_4.addWidget(self.cb_g)
self.cb_ftrace = QtWidgets.QCheckBox(self.tabCompiler)
self.cb_ftrace.setObjectName("cb_ftrace")
self.verticalLayout_4.addWidget(self.cb_ftrace)
self.cb_ftraceall = QtWidgets.QCheckBox(self.tabCompiler)
self.cb_ftraceall.setObjectName("cb_ftraceall")
self.verticalLayout_4.addWidget(self.cb_ftraceall)
self.cb_debugging_line = QtWidgets.QCheckBox(self.tabCompiler)
self.cb_debugging_line.setObjectName("cb_debugging_line")
self.verticalLayout_4.addWidget(self.cb_debugging_line)
self.cb_static = QtWidgets.QCheckBox(self.tabCompiler)
self.cb_static.setObjectName("cb_static")
self.verticalLayout_4.addWidget(self.cb_static)
self.le_compiler_flags = QtWidgets.QLineEdit(self.tabCompiler)
self.le_compiler_flags.setObjectName("le_compiler_flags")
self.verticalLayout_4.addWidget(self.le_compiler_flags)
self.formLayout_6.setLayout(3, QtWidgets.QFormLayout.FieldRole, self.verticalLayout_4)
self.label_compiler_path = QtWidgets.QLabel(self.tabCompiler)
self.label_compiler_path.setObjectName("label_compiler_path")
self.formLayout_6.setWidget(4, QtWidgets.QFormLayout.LabelRole, self.label_compiler_path)
self.checkBoxCustomPath = QtWidgets.QCheckBox(self.tabCompiler)
self.checkBoxCustomPath.setText("")
self.checkBoxCustomPath.setObjectName("checkBoxCustomPath")
self.formLayout_6.setWidget(4, QtWidgets.QFormLayout.FieldRole, self.checkBoxCustomPath)
self.lineEditCompilerPath = QtWidgets.QLineEdit(self.tabCompiler)
self.lineEditCompilerPath.setObjectName("lineEditCompilerPath")
self.formLayout_6.setWidget(5, QtWidgets.QFormLayout.FieldRole, self.lineEditCompilerPath)
self.comboBoxStandard = QtWidgets.QComboBox(self.tabCompiler)
self.comboBoxStandard.setObjectName("comboBoxStandard")
self.comboBoxStandard.addItem("")
self.comboBoxStandard.addItem("")
self.comboBoxStandard.addItem("")
self.comboBoxStandard.addItem("")
self.comboBoxStandard.addItem("")
self.comboBoxStandard.addItem("")
self.comboBoxStandard.addItem("")
self.formLayout_6.setWidget(1, QtWidgets.QFormLayout.FieldRole, self.comboBoxStandard)
icon = QtGui.QIcon.fromTheme("exec")
self.tabWidget.addTab(self.tabCompiler, icon, "")
self.tabRun = QtWidgets.QWidget()
self.tabRun.setObjectName("tabRun")
self.formLayout_5 = QtWidgets.QFormLayout(self.tabRun)
self.formLayout_5.setFieldGrowthPolicy(QtWidgets.QFormLayout.AllNonFixedFieldsGrow)
self.formLayout_5.setObjectName("formLayout_5")
self.label_5 = QtWidgets.QLabel(self.tabRun)
self.label_5.setObjectName("label_5")
self.formLayout_5.setWidget(0, QtWidgets.QFormLayout.LabelRole, self.label_5)
self.checkBoxRunExtTerm = QtWidgets.QCheckBox(self.tabRun)
self.checkBoxRunExtTerm.setText("")
self.checkBoxRunExtTerm.setObjectName("checkBoxRunExtTerm")
self.formLayout_5.setWidget(0, QtWidgets.QFormLayout.FieldRole, self.checkBoxRunExtTerm)
self.lineEditRunTerm = QtWidgets.QLineEdit(self.tabRun)
self.lineEditRunTerm.setObjectName("lineEditRunTerm")
self.formLayout_5.setWidget(1, QtWidgets.QFormLayout.FieldRole, self.lineEditRunTerm)
icon = QtGui.QIcon.fromTheme("media-playback-start")
self.tabWidget.addTab(self.tabRun, icon, "")
self.widget_2.addWidget(self.tabWidget, 0, 0, 1, 1)
self.gridLayout_2.addWidget(self.widget, 0, 0, 1, 1)
self.gridLayout_3 = QtWidgets.QGridLayout()
self.gridLayout_3.setContentsMargins(9, 9, 9, 9)
self.gridLayout_3.setObjectName("gridLayout_3")
self.buttonBox = QtWidgets.QDialogButtonBox(Dialog)
self.buttonBox.setOrientation(QtCore.Qt.Horizontal)
self.buttonBox.setStandardButtons(QtWidgets.QDialogButtonBox.Cancel|QtWidgets.QDialogButtonBox.Ok|QtWidgets.QDialogButtonBox.Reset|QtWidgets.QDialogButtonBox.RestoreDefaults)
self.buttonBox.setObjectName("buttonBox")
self.gridLayout_3.addWidget(self.buttonBox, 0, 0, 1, 1)
self.gridLayout_2.addLayout(self.gridLayout_3, 2, 0, 1, 1)
self.retranslateUi(Dialog)
self.tabWidget.setCurrentIndex(2)
self.buttonBox.accepted.connect(Dialog.accept)
self.buttonBox.rejected.connect(Dialog.reject)
QtCore.QMetaObject.connectSlotsByName(Dialog)
def retranslateUi(self, Dialog):
_translate = QtCore.QCoreApplication.translate
Dialog.setWindowTitle(_translate("Dialog", "Preferences"))
self.widget.setAccessibleName(_translate("Dialog", "widget", "widget"))
self.groupBox_3.setTitle(_translate("Dialog", "View"))
self.label_10.setText(_translate("Dialog", "Display line numbers:"))
self.checkBoxViewLineNumber.setToolTip(_translate("Dialog", "Show/Hide line numbers"))
self.checkBoxViewLineNumber.setStatusTip(_translate("Dialog", "Show/Hide line numbers"))
self.label_11.setText(_translate("Dialog", "Highlight current line:"))
self.checkBoxHighlightCurrentLine.setToolTip(_translate("Dialog", "Highlight caret line"))
self.checkBoxHighlightCurrentLine.setStatusTip(_translate("Dialog", "Highlight caret line"))
self.label_12.setText(_translate("Dialog", "Highlight whitespaces:"))
self.checkBoxHighlightWhitespaces.setToolTip(_translate("Dialog", "Show visual whitespaces"))
self.checkBoxHighlightWhitespaces.setStatusTip(_translate("Dialog", "Show visual whitespaces"))
self.label_13.setText(_translate("Dialog", "Show errors:"))
self.checkBoxShowErrors.setToolTip(_translate("Dialog", "Compile your code on the fly and show errors while you\'re typing"))
self.groupBox_2.setTitle(_translate("Dialog", "Indentation"))
self.label.setText(_translate("Dialog", "Width:"))
self.label_14.setText(_translate("Dialog", "Automatic:"))
self.spinBoxEditorTabLen.setToolTip(_translate("Dialog", "Tab length (number of spaces)"))
self.spinBoxEditorTabLen.setStatusTip(_translate("Dialog", "Tab length (number of spaces)"))
self.checkBoxEditorAutoIndent.setToolTip(_translate("Dialog", "Enable/Disable automatic indentation"))
self.checkBoxEditorAutoIndent.setStatusTip(_translate("Dialog", "Enable/Disable automatic indentation"))
self.groupBox_4.setTitle(_translate("Dialog", "Code completion"))
self.label_2.setText(_translate("Dialog", "Trigger length:"))
self.spinBoxEditorCCTriggerLen.setToolTip(_translate("Dialog", "Number of characters needed to trigger auto completion"))
self.spinBoxEditorCCTriggerLen.setStatusTip(_translate("Dialog", "Number of characters needed to trigger auto completion"))
self.groupBox.setTitle(_translate("Dialog", "Comments"))
self.label_7.setText(_translate("Dialog", "Symbol"))
self.lineEditCommentIndicator.setText(_translate("Dialog", "*>"))
self.tabWidget.setTabText(self.tabWidget.indexOf(self.tabEditor), _translate("Dialog", "Editor"))
self.groupBox_5.setTitle(_translate("Dialog", "Application style"))
self.radioButtonColorWhite.setToolTip(_translate("Dialog", "Use native style"))
self.radioButtonColorWhite.setStatusTip(_translate("Dialog", "Use native style"))
self.radioButtonColorWhite.setText(_translate("Dialog", "Native"))
self.radioButtonColorDark.setToolTip(_translate("Dialog", "Use a global dark style (using QDarkStyleSheet)"))
self.radioButtonColorDark.setStatusTip(_translate("Dialog", "Use a global dark style (using QDarkStyleSheet)"))
self.radioButtonColorDark.setText(_translate("Dialog", "Dark"))
self.lblIconTheme.setText(_translate("Dialog", "Icon theme:"))
self.groupBox_6.setTitle(_translate("Dialog", "Editor font"))
self.label_3.setText(_translate("Dialog", "Editor font:"))
self.fontComboBox.setToolTip(_translate("Dialog", "Change editor font"))
self.fontComboBox.setStatusTip(_translate("Dialog", "Change editor font"))
self.label_4.setText(_translate("Dialog", "Font size:"))
self.spinBoxFontSize.setToolTip(_translate("Dialog", "Change editor font size"))
self.spinBoxFontSize.setStatusTip(_translate("Dialog", "Change editor font size"))
self.groupBox_7.setTitle(_translate("Dialog", "Editor color scheme"))
self.listWidgetColorSchemes.setToolTip(_translate("Dialog", "Pygments color schemes."))
self.listWidgetColorSchemes.setStatusTip(_translate("Dialog", "Pygments color schemes."))
self.tabWidget.setTabText(self.tabWidget.indexOf(self.tabStyle), _translate("Dialog", "Style"))
self.label_8.setText(_translate("Dialog", "Standard:"))
self.label_9.setText(_translate("Dialog", "Free format:"))
self.checkBoxFreeFormat.setToolTip(_translate("Dialog", "Code and compile with free format support"))
self.label_15.setText(_translate("Dialog", "C compiler flags:"))
self.cb_g.setToolTip(_translate("Dialog", "Enable C compiler debug / stack check / trace"))
self.cb_g.setText(_translate("Dialog", "-g"))
self.cb_ftrace.setToolTip(_translate("Dialog", "<html><head/><body><p>Generate trace code</p><p> - Executed SECTION/PARAGRAPH</p></body></html>"))
self.cb_ftrace.setText(_translate("Dialog", "-ftrace"))
self.cb_ftraceall.setToolTip(_translate("Dialog", "<html><head/><body><p>Generate trace code</p><p> - Executed SECTION/PARAGRAPH/STATEMENTS</p><p> - Turned on by -debug</p></body></html>"))
self.cb_ftraceall.setText(_translate("Dialog", "-ftraceall"))
self.cb_debugging_line.setToolTip(_translate("Dialog", "<html><head/><body><p>Enable debugging lines</p><p> - \'D\' in indicator column or floating >>D</p></body></html>"))
self.cb_debugging_line.setText(_translate("Dialog", "-fdebugging-line"))
self.cb_static.setToolTip(_translate("Dialog", "Link statically"))
self.cb_static.setText(_translate("Dialog", "-static"))
self.le_compiler_flags.setToolTip(_translate("Dialog", "You can add other compiler flags here"))
self.label_compiler_path.setText(_translate("Dialog", "Custom compiler path:"))
self.checkBoxCustomPath.setToolTip(_translate("Dialog", "Enable/Disable custom compiler path"))
self.checkBoxCustomPath.setStatusTip(_translate("Dialog", "Enable/Disable custom compiler path"))
self.lineEditCompilerPath.setToolTip(_translate("Dialog", "Path to the compiler (should not include the executable name, only the directory path)"))
self.lineEditCompilerPath.setStatusTip(_translate("Dialog", "Path to the compiler (should not include the executable name, only the directory path)"))
self.comboBoxStandard.setItemText(0, _translate("Dialog", "default"))
self.comboBoxStandard.setItemText(1, _translate("Dialog", "cobol2002"))
self.comboBoxStandard.setItemText(2, _translate("Dialog", "cobol85"))
self.comboBoxStandard.setItemText(3, _translate("Dialog", "ibm"))
self.comboBoxStandard.setItemText(4, _translate("Dialog", "mvs"))
self.comboBoxStandard.setItemText(5, _translate("Dialog", "bs2000"))
self.comboBoxStandard.setItemText(6, _translate("Dialog", "mf"))
self.tabWidget.setTabText(self.tabWidget.indexOf(self.tabCompiler), _translate("Dialog", "Compiler"))
self.label_5.setText(_translate("Dialog", "Run in external terminal:"))
self.checkBoxRunExtTerm.setToolTip(_translate("Dialog", "Enable/Disable running program in an external terminal"))
self.checkBoxRunExtTerm.setStatusTip(_translate("Dialog", "Enable/Disable running program in an external terminal"))
self.lineEditRunTerm.setToolTip(_translate("Dialog", "External terminal command (filename is appended at the end of the command)"))
self.lineEditRunTerm.setStatusTip(_translate("Dialog", "External terminal command"))
self.tabWidget.setTabText(self.tabWidget.indexOf(self.tabRun), _translate("Dialog", "Run"))