# -*- coding: utf-8 -*-

# Form implementation generated from reading ui file 'eric/Preferences/ConfigurationPages/TerminalPage.ui'
#
# Created: Thu Mar 15 18:48:27 2012
#      by: PyQt4 UI code generator 4.8.5
#
# WARNING! All changes made in this file will be lost!

from PyQt4 import QtCore, QtGui

try:
    _fromUtf8 = QtCore.QString.fromUtf8
except AttributeError:
    _fromUtf8 = lambda s: s

class Ui_TerminalPage(object):
    def setupUi(self, TerminalPage):
        TerminalPage.setObjectName(_fromUtf8("TerminalPage"))
        TerminalPage.resize(585, 488)
        self.verticalLayout = QtGui.QVBoxLayout(TerminalPage)
        self.verticalLayout.setObjectName(_fromUtf8("verticalLayout"))
        self.headerLabel = QtGui.QLabel(TerminalPage)
        self.headerLabel.setText(QtGui.QApplication.translate("TerminalPage", "<b>Configure Terminal</b>", None, QtGui.QApplication.UnicodeUTF8))
        self.headerLabel.setObjectName(_fromUtf8("headerLabel"))
        self.verticalLayout.addWidget(self.headerLabel)
        self.line14 = QtGui.QFrame(TerminalPage)
        self.line14.setFrameShape(QtGui.QFrame.HLine)
        self.line14.setFrameShadow(QtGui.QFrame.Sunken)
        self.line14.setFrameShape(QtGui.QFrame.HLine)
        self.line14.setFrameShadow(QtGui.QFrame.Sunken)
        self.line14.setObjectName(_fromUtf8("line14"))
        self.verticalLayout.addWidget(self.line14)
        self.hboxlayout = QtGui.QHBoxLayout()
        self.hboxlayout.setObjectName(_fromUtf8("hboxlayout"))
        self.TextLabel13_2_2_2_2 = QtGui.QLabel(TerminalPage)
        self.TextLabel13_2_2_2_2.setText(QtGui.QApplication.translate("TerminalPage", "Linenumbers width:", None, QtGui.QApplication.UnicodeUTF8))
        self.TextLabel13_2_2_2_2.setObjectName(_fromUtf8("TextLabel13_2_2_2_2"))
        self.hboxlayout.addWidget(self.TextLabel13_2_2_2_2)
        self.linenowidthSlider = QtGui.QSlider(TerminalPage)
        self.linenowidthSlider.setToolTip(QtGui.QApplication.translate("TerminalPage", "Move to set the width of the linenumbers margin.", None, QtGui.QApplication.UnicodeUTF8))
        self.linenowidthSlider.setMinimum(2)
        self.linenowidthSlider.setMaximum(8)
        self.linenowidthSlider.setProperty("value", 2)
        self.linenowidthSlider.setOrientation(QtCore.Qt.Horizontal)
        self.linenowidthSlider.setTickInterval(1)
        self.linenowidthSlider.setObjectName(_fromUtf8("linenowidthSlider"))
        self.hboxlayout.addWidget(self.linenowidthSlider)
        self.linenowidthLCD = QtGui.QLCDNumber(TerminalPage)
        self.linenowidthLCD.setToolTip(QtGui.QApplication.translate("TerminalPage", "Displays the selected width of the linenumbers margin.", None, QtGui.QApplication.UnicodeUTF8))
        self.linenowidthLCD.setNumDigits(1)
        self.linenowidthLCD.setSegmentStyle(QtGui.QLCDNumber.Flat)
        self.linenowidthLCD.setProperty("value", 2.0)
        self.linenowidthLCD.setObjectName(_fromUtf8("linenowidthLCD"))
        self.hboxlayout.addWidget(self.linenowidthLCD)
        self.verticalLayout.addLayout(self.hboxlayout)
        self.horizontalLayout = QtGui.QHBoxLayout()
        self.horizontalLayout.setObjectName(_fromUtf8("horizontalLayout"))
        self.linenoCheckBox = QtGui.QCheckBox(TerminalPage)
        self.linenoCheckBox.setToolTip(QtGui.QApplication.translate("TerminalPage", "Select whether line numbers margin should be shown.", None, QtGui.QApplication.UnicodeUTF8))
        self.linenoCheckBox.setText(QtGui.QApplication.translate("TerminalPage", "Show Line Numbers Margin", None, QtGui.QApplication.UnicodeUTF8))
        self.linenoCheckBox.setObjectName(_fromUtf8("linenoCheckBox"))
        self.horizontalLayout.addWidget(self.linenoCheckBox)
        self.syntaxHighlightingCheckBox = QtGui.QCheckBox(TerminalPage)
        self.syntaxHighlightingCheckBox.setToolTip(QtGui.QApplication.translate("TerminalPage", "Select to enable syntax highlighting", None, QtGui.QApplication.UnicodeUTF8))
        self.syntaxHighlightingCheckBox.setText(QtGui.QApplication.translate("TerminalPage", "Syntax Highlighting Enabled", None, QtGui.QApplication.UnicodeUTF8))
        self.syntaxHighlightingCheckBox.setObjectName(_fromUtf8("syntaxHighlightingCheckBox"))
        self.horizontalLayout.addWidget(self.syntaxHighlightingCheckBox)
        self.verticalLayout.addLayout(self.horizontalLayout)
        self.hboxlayout1 = QtGui.QHBoxLayout()
        self.hboxlayout1.setObjectName(_fromUtf8("hboxlayout1"))
        self.textLabel1_20 = QtGui.QLabel(TerminalPage)
        self.textLabel1_20.setText(QtGui.QApplication.translate("TerminalPage", "max. History Entries:", None, QtGui.QApplication.UnicodeUTF8))
        self.textLabel1_20.setObjectName(_fromUtf8("textLabel1_20"))
        self.hboxlayout1.addWidget(self.textLabel1_20)
        self.historySpinBox = QtGui.QSpinBox(TerminalPage)
        self.historySpinBox.setToolTip(QtGui.QApplication.translate("TerminalPage", "Enter the number of history entries allowed", None, QtGui.QApplication.UnicodeUTF8))
        self.historySpinBox.setMinimum(10)
        self.historySpinBox.setMaximum(1000)
        self.historySpinBox.setSingleStep(10)
        self.historySpinBox.setProperty("value", 100)
        self.historySpinBox.setObjectName(_fromUtf8("historySpinBox"))
        self.hboxlayout1.addWidget(self.historySpinBox)
        spacerItem = QtGui.QSpacerItem(40, 20, QtGui.QSizePolicy.Expanding, QtGui.QSizePolicy.Minimum)
        self.hboxlayout1.addItem(spacerItem)
        self.verticalLayout.addLayout(self.hboxlayout1)
        self.groupBox_5 = QtGui.QGroupBox(TerminalPage)
        self.groupBox_5.setTitle(QtGui.QApplication.translate("TerminalPage", "Font", None, QtGui.QApplication.UnicodeUTF8))
        self.groupBox_5.setObjectName(_fromUtf8("groupBox_5"))
        self.gridLayout_2 = QtGui.QGridLayout(self.groupBox_5)
        self.gridLayout_2.setObjectName(_fromUtf8("gridLayout_2"))
        self.monospacedFontButton = QtGui.QPushButton(self.groupBox_5)
        self.monospacedFontButton.setToolTip(QtGui.QApplication.translate("TerminalPage", "Press to select the font to be used as the monospaced font", None, QtGui.QApplication.UnicodeUTF8))
        self.monospacedFontButton.setText(QtGui.QApplication.translate("TerminalPage", "Monospaced Font", None, QtGui.QApplication.UnicodeUTF8))
        self.monospacedFontButton.setObjectName(_fromUtf8("monospacedFontButton"))
        self.gridLayout_2.addWidget(self.monospacedFontButton, 0, 0, 1, 1)
        self.monospacedFontSample = QtGui.QLineEdit(self.groupBox_5)
        self.monospacedFontSample.setFocusPolicy(QtCore.Qt.NoFocus)
        self.monospacedFontSample.setText(QtGui.QApplication.translate("TerminalPage", "Monospaced Text", None, QtGui.QApplication.UnicodeUTF8))
        self.monospacedFontSample.setAlignment(QtCore.Qt.AlignHCenter)
        self.monospacedFontSample.setReadOnly(True)
        self.monospacedFontSample.setObjectName(_fromUtf8("monospacedFontSample"))
        self.gridLayout_2.addWidget(self.monospacedFontSample, 0, 1, 1, 1)
        self.monospacedCheckBox = QtGui.QCheckBox(self.groupBox_5)
        self.monospacedCheckBox.setToolTip(QtGui.QApplication.translate("TerminalPage", "Select, whether the monospaced font should be used as default", None, QtGui.QApplication.UnicodeUTF8))
        self.monospacedCheckBox.setText(QtGui.QApplication.translate("TerminalPage", "Use monospaced as default", None, QtGui.QApplication.UnicodeUTF8))
        self.monospacedCheckBox.setObjectName(_fromUtf8("monospacedCheckBox"))
        self.gridLayout_2.addWidget(self.monospacedCheckBox, 0, 2, 1, 1)
        self.linenumbersFontButton = QtGui.QPushButton(self.groupBox_5)
        self.linenumbersFontButton.setToolTip(QtGui.QApplication.translate("TerminalPage", "Press to select the font for the line numbers", None, QtGui.QApplication.UnicodeUTF8))
        self.linenumbersFontButton.setText(QtGui.QApplication.translate("TerminalPage", "Line Numbers Font", None, QtGui.QApplication.UnicodeUTF8))
        self.linenumbersFontButton.setObjectName(_fromUtf8("linenumbersFontButton"))
        self.gridLayout_2.addWidget(self.linenumbersFontButton, 1, 0, 1, 1)
        self.marginsFontSample = QtGui.QLineEdit(self.groupBox_5)
        self.marginsFontSample.setMinimumSize(QtCore.QSize(200, 0))
        self.marginsFontSample.setFocusPolicy(QtCore.Qt.NoFocus)
        self.marginsFontSample.setText(QtGui.QApplication.translate("TerminalPage", "2345", None, QtGui.QApplication.UnicodeUTF8))
        self.marginsFontSample.setAlignment(QtCore.Qt.AlignHCenter)
        self.marginsFontSample.setReadOnly(True)
        self.marginsFontSample.setObjectName(_fromUtf8("marginsFontSample"))
        self.gridLayout_2.addWidget(self.marginsFontSample, 1, 1, 1, 1)
        self.verticalLayout.addWidget(self.groupBox_5)
        self.shellGroup = QtGui.QGroupBox(TerminalPage)
        self.shellGroup.setTitle(QtGui.QApplication.translate("TerminalPage", "Shell", None, QtGui.QApplication.UnicodeUTF8))
        self.shellGroup.setObjectName(_fromUtf8("shellGroup"))
        self.gridLayout = QtGui.QGridLayout(self.shellGroup)
        self.gridLayout.setObjectName(_fromUtf8("gridLayout"))
        self.label = QtGui.QLabel(self.shellGroup)
        self.label.setText(QtGui.QApplication.translate("TerminalPage", "Shell command:", None, QtGui.QApplication.UnicodeUTF8))
        self.label.setObjectName(_fromUtf8("label"))
        self.gridLayout.addWidget(self.label, 0, 0, 1, 1)
        self.shellCombo = QtGui.QComboBox(self.shellGroup)
        sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Expanding, QtGui.QSizePolicy.Fixed)
        sizePolicy.setHorizontalStretch(0)
        sizePolicy.setVerticalStretch(0)
        sizePolicy.setHeightForWidth(self.shellCombo.sizePolicy().hasHeightForWidth())
        self.shellCombo.setSizePolicy(sizePolicy)
        self.shellCombo.setToolTip(QtGui.QApplication.translate("TerminalPage", "Enter the shell to be used", None, QtGui.QApplication.UnicodeUTF8))
        self.shellCombo.setEditable(True)
        self.shellCombo.setObjectName(_fromUtf8("shellCombo"))
        self.gridLayout.addWidget(self.shellCombo, 0, 1, 1, 1)
        self.interactiveCheckBox = QtGui.QCheckBox(self.shellGroup)
        self.interactiveCheckBox.setToolTip(QtGui.QApplication.translate("TerminalPage", "Select to start an interactive shell", None, QtGui.QApplication.UnicodeUTF8))
        self.interactiveCheckBox.setText(QtGui.QApplication.translate("TerminalPage", "Interactive Shell", None, QtGui.QApplication.UnicodeUTF8))
        self.interactiveCheckBox.setObjectName(_fromUtf8("interactiveCheckBox"))
        self.gridLayout.addWidget(self.interactiveCheckBox, 1, 0, 1, 2)
        self.verticalLayout.addWidget(self.shellGroup)
        spacerItem1 = QtGui.QSpacerItem(20, 40, QtGui.QSizePolicy.Minimum, QtGui.QSizePolicy.Expanding)
        self.verticalLayout.addItem(spacerItem1)

        self.retranslateUi(TerminalPage)
        QtCore.QObject.connect(self.linenowidthSlider, QtCore.SIGNAL(_fromUtf8("valueChanged(int)")), self.linenowidthLCD.display)
        QtCore.QMetaObject.connectSlotsByName(TerminalPage)
        TerminalPage.setTabOrder(self.linenowidthSlider, self.linenoCheckBox)
        TerminalPage.setTabOrder(self.linenoCheckBox, self.syntaxHighlightingCheckBox)
        TerminalPage.setTabOrder(self.syntaxHighlightingCheckBox, self.historySpinBox)
        TerminalPage.setTabOrder(self.historySpinBox, self.monospacedFontButton)
        TerminalPage.setTabOrder(self.monospacedFontButton, self.monospacedCheckBox)
        TerminalPage.setTabOrder(self.monospacedCheckBox, self.linenumbersFontButton)
        TerminalPage.setTabOrder(self.linenumbersFontButton, self.shellCombo)
        TerminalPage.setTabOrder(self.shellCombo, self.interactiveCheckBox)

    def retranslateUi(self, TerminalPage):
        pass

