pilasengine/interprete/interprete_base.py
# -*- 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_())