hugoruscitti/pilas

View on GitHub
pilasengine/interprete/interprete_base.py

Summary

Maintainability
C
7 hrs
Test Coverage
# -*- coding: utf-8 -*-

# Form implementation generated from reading ui file 'pilasengine/interprete/interprete.ui'
#
# Created by: PyQt4 UI code generator 4.11.4
#
# WARNING! All changes made in this file will be lost!

from PyQt4 import QtCore, QtGui

try:
    _fromUtf8 = QtCore.QString.fromUtf8
except AttributeError:
    def _fromUtf8(s):
        return s

try:
    _encoding = QtGui.QApplication.UnicodeUTF8
    def _translate(context, text, disambig):
        return QtGui.QApplication.translate(context, text, disambig, _encoding)
except AttributeError:
    def _translate(context, text, disambig):
        return QtGui.QApplication.translate(context, text, disambig)

class Ui_InterpreteWindow(object):
    def setupUi(self, InterpreteWindow):
        InterpreteWindow.setObjectName(_fromUtf8("InterpreteWindow"))
        InterpreteWindow.resize(883, 612)
        InterpreteWindow.setMinimumSize(QtCore.QSize(720, 530))
        self.centralwidget = QtGui.QWidget(InterpreteWindow)
        self.centralwidget.setObjectName(_fromUtf8("centralwidget"))
        self.gridLayout = QtGui.QGridLayout(self.centralwidget)
        self.gridLayout.setObjectName(_fromUtf8("gridLayout"))
        self.horizontalLayout_3 = QtGui.QHBoxLayout()
        self.horizontalLayout_3.setObjectName(_fromUtf8("horizontalLayout_3"))
        spacerItem = QtGui.QSpacerItem(40, 20, QtGui.QSizePolicy.Expanding, QtGui.QSizePolicy.Minimum)
        self.horizontalLayout_3.addItem(spacerItem)
        self.manual_button = QtGui.QPushButton(self.centralwidget)
        self.manual_button.setMaximumSize(QtCore.QSize(20, 20))
        self.manual_button.setCursor(QtGui.QCursor(QtCore.Qt.PointingHandCursor))
        self.manual_button.setCheckable(True)
        self.manual_button.setFlat(True)
        self.manual_button.setObjectName(_fromUtf8("manual_button"))
        self.horizontalLayout_3.addWidget(self.manual_button)
        self.interprete_button = QtGui.QPushButton(self.centralwidget)
        self.interprete_button.setMaximumSize(QtCore.QSize(20, 20))
        self.interprete_button.setCursor(QtGui.QCursor(QtCore.Qt.PointingHandCursor))
        self.interprete_button.setCheckable(True)
        self.interprete_button.setChecked(True)
        self.interprete_button.setFlat(True)
        self.interprete_button.setObjectName(_fromUtf8("interprete_button"))
        self.horizontalLayout_3.addWidget(self.interprete_button)
        self.editor_button = QtGui.QPushButton(self.centralwidget)
        self.editor_button.setMaximumSize(QtCore.QSize(20, 20))
        self.editor_button.setCursor(QtGui.QCursor(QtCore.Qt.PointingHandCursor))
        self.editor_button.setCheckable(True)
        self.editor_button.setFlat(True)
        self.editor_button.setObjectName(_fromUtf8("editor_button"))
        self.horizontalLayout_3.addWidget(self.editor_button)
        self.gridLayout.addLayout(self.horizontalLayout_3, 0, 0, 1, 1)
        self.splitter_vertical = QtGui.QSplitter(self.centralwidget)
        self.splitter_vertical.setOrientation(QtCore.Qt.Horizontal)
        self.splitter_vertical.setObjectName(_fromUtf8("splitter_vertical"))
        self.navegador = QtWebKit.QWebView(self.splitter_vertical)
        self.navegador.setMinimumSize(QtCore.QSize(250, 0))
        self.navegador.setUrl(QtCore.QUrl(_fromUtf8("about:blank")))
        self.navegador.setObjectName(_fromUtf8("navegador"))
        self.splitter_editor = QtGui.QSplitter(self.splitter_vertical)
        self.splitter_editor.setOrientation(QtCore.Qt.Horizontal)
        self.splitter_editor.setObjectName(_fromUtf8("splitter_editor"))
        self.splitter = QtGui.QSplitter(self.splitter_editor)
        self.splitter.setOrientation(QtCore.Qt.Vertical)
        self.splitter.setObjectName(_fromUtf8("splitter"))
        self.layoutWidget = QtGui.QWidget(self.splitter)
        self.layoutWidget.setObjectName(_fromUtf8("layoutWidget"))
        self.verticalLayout_2 = QtGui.QVBoxLayout(self.layoutWidget)
        self.verticalLayout_2.setObjectName(_fromUtf8("verticalLayout_2"))
        self.canvas = QtGui.QStackedWidget(self.layoutWidget)
        self.canvas.setMinimumSize(QtCore.QSize(320, 240))
        self.canvas.setObjectName(_fromUtf8("canvas"))
        self.verticalLayout_2.addWidget(self.canvas)
        self.horizontalLayout_2 = QtGui.QHBoxLayout()
        self.horizontalLayout_2.setObjectName(_fromUtf8("horizontalLayout_2"))
        self.guardar_button = QtGui.QPushButton(self.layoutWidget)
        self.guardar_button.setMaximumSize(QtCore.QSize(20, 20))
        self.guardar_button.setCursor(QtGui.QCursor(QtCore.Qt.PointingHandCursor))
        self.guardar_button.setFlat(True)
        self.guardar_button.setObjectName(_fromUtf8("guardar_button"))
        self.horizontalLayout_2.addWidget(self.guardar_button)
        self.configuracion_button = QtGui.QPushButton(self.layoutWidget)
        self.configuracion_button.setMaximumSize(QtCore.QSize(20, 20))
        self.configuracion_button.setCursor(QtGui.QCursor(QtCore.Qt.PointingHandCursor))
        self.configuracion_button.setFlat(True)
        self.configuracion_button.setObjectName(_fromUtf8("configuracion_button"))
        self.horizontalLayout_2.addWidget(self.configuracion_button)
        self.limpiar_button = QtGui.QPushButton(self.layoutWidget)
        self.limpiar_button.setMaximumSize(QtCore.QSize(20, 20))
        self.limpiar_button.setCursor(QtGui.QCursor(QtCore.Qt.PointingHandCursor))
        self.limpiar_button.setFlat(True)
        self.limpiar_button.setObjectName(_fromUtf8("limpiar_button"))
        self.horizontalLayout_2.addWidget(self.limpiar_button)
        self.pantalla_completa_button = QtGui.QPushButton(self.layoutWidget)
        self.pantalla_completa_button.setMaximumSize(QtCore.QSize(20, 20))
        self.pantalla_completa_button.setCursor(QtGui.QCursor(QtCore.Qt.PointingHandCursor))
        self.pantalla_completa_button.setFlat(True)
        self.pantalla_completa_button.setObjectName(_fromUtf8("pantalla_completa_button"))
        self.horizontalLayout_2.addWidget(self.pantalla_completa_button)
        spacerItem1 = QtGui.QSpacerItem(37, 13, QtGui.QSizePolicy.Expanding, QtGui.QSizePolicy.Minimum)
        self.horizontalLayout_2.addItem(spacerItem1)
        self.pushButton_6 = QtGui.QPushButton(self.layoutWidget)
        self.pushButton_6.setMaximumSize(QtCore.QSize(20, 20))
        self.pushButton_6.setCursor(QtGui.QCursor(QtCore.Qt.PointingHandCursor))
        self.pushButton_6.setCheckable(True)
        self.pushButton_6.setFlat(True)
        self.pushButton_6.setObjectName(_fromUtf8("pushButton_6"))
        self.horizontalLayout_2.addWidget(self.pushButton_6)
        self.pushButton_5 = QtGui.QPushButton(self.layoutWidget)
        self.pushButton_5.setMaximumSize(QtCore.QSize(20, 20))
        self.pushButton_5.setCursor(QtGui.QCursor(QtCore.Qt.PointingHandCursor))
        self.pushButton_5.setCheckable(True)
        self.pushButton_5.setFlat(True)
        self.pushButton_5.setObjectName(_fromUtf8("pushButton_5"))
        self.horizontalLayout_2.addWidget(self.pushButton_5)
        self.pushButton_3 = QtGui.QPushButton(self.layoutWidget)
        self.pushButton_3.setMaximumSize(QtCore.QSize(20, 20))
        self.pushButton_3.setCursor(QtGui.QCursor(QtCore.Qt.PointingHandCursor))
        self.pushButton_3.setCheckable(True)
        self.pushButton_3.setFlat(True)
        self.pushButton_3.setObjectName(_fromUtf8("pushButton_3"))
        self.horizontalLayout_2.addWidget(self.pushButton_3)
        self.pushButton_2 = QtGui.QPushButton(self.layoutWidget)
        self.pushButton_2.setEnabled(True)
        self.pushButton_2.setMaximumSize(QtCore.QSize(20, 20))
        self.pushButton_2.setCursor(QtGui.QCursor(QtCore.Qt.PointingHandCursor))
        self.pushButton_2.setCheckable(True)
        self.pushButton_2.setFlat(True)
        self.pushButton_2.setObjectName(_fromUtf8("pushButton_2"))
        self.horizontalLayout_2.addWidget(self.pushButton_2)
        self.pushButton = QtGui.QPushButton(self.layoutWidget)
        sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Fixed)
        sizePolicy.setHorizontalStretch(0)
        sizePolicy.setVerticalStretch(0)
        sizePolicy.setHeightForWidth(self.pushButton.sizePolicy().hasHeightForWidth())
        self.pushButton.setSizePolicy(sizePolicy)
        self.pushButton.setMaximumSize(QtCore.QSize(20, 20))
        self.pushButton.setCursor(QtGui.QCursor(QtCore.Qt.PointingHandCursor))
        self.pushButton.setCheckable(True)
        self.pushButton.setChecked(False)
        self.pushButton.setFlat(True)
        self.pushButton.setObjectName(_fromUtf8("pushButton"))
        self.horizontalLayout_2.addWidget(self.pushButton)
        self.verticalLayout_2.addLayout(self.horizontalLayout_2)
        self.layoutWidget1 = QtGui.QWidget(self.splitter)
        self.layoutWidget1.setObjectName(_fromUtf8("layoutWidget1"))
        self.verticalLayout = QtGui.QVBoxLayout(self.layoutWidget1)
        self.verticalLayout.setObjectName(_fromUtf8("verticalLayout"))
        self.console = QtGui.QStackedWidget(self.layoutWidget1)
        self.console.setObjectName(_fromUtf8("console"))
        self.page_3 = QtGui.QWidget()
        self.page_3.setObjectName(_fromUtf8("page_3"))
        self.console.addWidget(self.page_3)
        self.page_4 = QtGui.QWidget()
        self.page_4.setObjectName(_fromUtf8("page_4"))
        self.console.addWidget(self.page_4)
        self.verticalLayout.addWidget(self.console)
        self.layoutWidget2 = QtGui.QWidget(self.splitter_editor)
        self.layoutWidget2.setObjectName(_fromUtf8("layoutWidget2"))
        self.editor_layout = QtGui.QVBoxLayout(self.layoutWidget2)
        self.editor_layout.setObjectName(_fromUtf8("editor_layout"))
        self.gridLayout.addWidget(self.splitter_vertical, 1, 0, 1, 1)
        InterpreteWindow.setCentralWidget(self.centralwidget)
        self.menubar = QtGui.QMenuBar(InterpreteWindow)
        self.menubar.setGeometry(QtCore.QRect(0, 0, 883, 22))
        self.menubar.setObjectName(_fromUtf8("menubar"))
        InterpreteWindow.setMenuBar(self.menubar)
        self.statusbar = QtGui.QStatusBar(InterpreteWindow)
        self.statusbar.setObjectName(_fromUtf8("statusbar"))
        InterpreteWindow.setStatusBar(self.statusbar)
        self.actionSalir = QtGui.QAction(InterpreteWindow)
        self.actionSalir.setObjectName(_fromUtf8("actionSalir"))

        self.retranslateUi(InterpreteWindow)
        self.console.setCurrentIndex(1)
        QtCore.QMetaObject.connectSlotsByName(InterpreteWindow)

    def retranslateUi(self, InterpreteWindow):
        InterpreteWindow.setWindowTitle(_translate("InterpreteWindow", "pilas-engine", None))
        self.manual_button.setToolTip(_translate("InterpreteWindow", "Mostrar el manual lateral", None))
        self.manual_button.setText(_translate("InterpreteWindow", "M", None))
        self.interprete_button.setToolTip(_translate("InterpreteWindow", "Mostrar el intérprete", None))
        self.interprete_button.setText(_translate("InterpreteWindow", "I", None))
        self.editor_button.setToolTip(_translate("InterpreteWindow", "Mostrar el editor lateral", None))
        self.editor_button.setText(_translate("InterpreteWindow", "E", None))
        self.guardar_button.setToolTip(_translate("InterpreteWindow", "Guardar el contenido del intérprete.", None))
        self.guardar_button.setText(_translate("InterpreteWindow", "G", None))
        self.configuracion_button.setToolTip(_translate("InterpreteWindow", "Abre el dialogo de configuración.", None))
        self.configuracion_button.setText(_translate("InterpreteWindow", "C", None))
        self.limpiar_button.setToolTip(_translate("InterpreteWindow", "Limpia todo el texto del intérprete.", None))
        self.limpiar_button.setText(_translate("InterpreteWindow", "L", None))
        self.pantalla_completa_button.setToolTip(_translate("InterpreteWindow", "Pasa al modo pantalla completa.", None))
        self.pantalla_completa_button.setText(_translate("InterpreteWindow", "P", None))
        self.pushButton_6.setToolTip(_translate("InterpreteWindow", "Mostrar información del sistema.", None))
        self.pushButton_6.setText(_translate("InterpreteWindow", "F7", None))
        self.pushButton_5.setToolTip(_translate("InterpreteWindow", "Mostrar puntos de control.", None))
        self.pushButton_5.setText(_translate("InterpreteWindow", "F8", None))
        self.pushButton_3.setToolTip(_translate("InterpreteWindow", "Mostrar areas.", None))
        self.pushButton_3.setText(_translate("InterpreteWindow", "F10", None))
        self.pushButton_2.setToolTip(_translate("InterpreteWindow", "Mostrar figuras físicas.", None))
        self.pushButton_2.setText(_translate("InterpreteWindow", "F11", None))
        self.pushButton.setToolTip(_translate("InterpreteWindow", "Mostrar posiciones.", None))
        self.pushButton.setText(_translate("InterpreteWindow", "F12", None))
        self.actionSalir.setText(_translate("InterpreteWindow", "Salir", None))

from PyQt4 import QtWebKit

if __name__ == "__main__":
    import sys
    app = QtGui.QApplication(sys.argv)
    InterpreteWindow = QtGui.QMainWindow()
    ui = Ui_InterpreteWindow()
    ui.setupUi(InterpreteWindow)
    InterpreteWindow.show()
    sys.exit(app.exec_())