- Adds query into history
git-svn-id: http://galileo.dmi.unict.it/svn/relational/trunk@280 014f5005-505e-4b48-8d0a-63407b615a7c
This commit is contained in:
@@ -1,8 +1,8 @@
|
||||
# -*- coding: utf-8 -*-
|
||||
|
||||
# Form implementation generated from reading ui file 'maingui.ui'
|
||||
# Form implementation generated from reading ui file 'relational_gui/maingui.ui'
|
||||
#
|
||||
# Created: Sun Mar 20 20:10:47 2011
|
||||
# Created: Sun Mar 20 21:59:01 2011
|
||||
# by: PyQt4 UI code generator 4.8.3
|
||||
#
|
||||
# WARNING! All changes made in this file will be lost!
|
||||
@@ -25,12 +25,12 @@ class Ui_MainWindow(object):
|
||||
self.splitter_4 = QtGui.QSplitter(self.centralwidget)
|
||||
self.splitter_4.setOrientation(QtCore.Qt.Horizontal)
|
||||
self.splitter_4.setObjectName(_fromUtf8("splitter_4"))
|
||||
self.widget = QtGui.QWidget(self.splitter_4)
|
||||
self.widget.setObjectName(_fromUtf8("widget"))
|
||||
self.verticalLayout_11 = QtGui.QVBoxLayout(self.widget)
|
||||
self.layoutWidget = QtGui.QWidget(self.splitter_4)
|
||||
self.layoutWidget.setObjectName(_fromUtf8("layoutWidget"))
|
||||
self.verticalLayout_11 = QtGui.QVBoxLayout(self.layoutWidget)
|
||||
self.verticalLayout_11.setMargin(0)
|
||||
self.verticalLayout_11.setObjectName(_fromUtf8("verticalLayout_11"))
|
||||
self.groupBox_3 = QtGui.QGroupBox(self.widget)
|
||||
self.groupBox_3 = QtGui.QGroupBox(self.layoutWidget)
|
||||
self.groupBox_3.setObjectName(_fromUtf8("groupBox_3"))
|
||||
self.verticalLayout_5 = QtGui.QVBoxLayout(self.groupBox_3)
|
||||
self.verticalLayout_5.setObjectName(_fromUtf8("verticalLayout_5"))
|
||||
@@ -41,7 +41,7 @@ class Ui_MainWindow(object):
|
||||
self.cmdSurvey.setObjectName(_fromUtf8("cmdSurvey"))
|
||||
self.verticalLayout_5.addWidget(self.cmdSurvey)
|
||||
self.verticalLayout_11.addWidget(self.groupBox_3)
|
||||
self.groupBox_4 = QtGui.QGroupBox(self.widget)
|
||||
self.groupBox_4 = QtGui.QGroupBox(self.layoutWidget)
|
||||
self.groupBox_4.setObjectName(_fromUtf8("groupBox_4"))
|
||||
self.verticalLayout_10 = QtGui.QVBoxLayout(self.groupBox_4)
|
||||
self.verticalLayout_10.setObjectName(_fromUtf8("verticalLayout_10"))
|
||||
@@ -98,41 +98,41 @@ class Ui_MainWindow(object):
|
||||
self.table.setSizeIncrement(QtCore.QSize(0, 0))
|
||||
self.table.setObjectName(_fromUtf8("table"))
|
||||
self.table.headerItem().setText(0, _fromUtf8("Empty relation"))
|
||||
self.layoutWidget = QtGui.QWidget(self.splitter_2)
|
||||
self.layoutWidget.setObjectName(_fromUtf8("layoutWidget"))
|
||||
self.verticalLayout_6 = QtGui.QVBoxLayout(self.layoutWidget)
|
||||
self.layoutWidget1 = QtGui.QWidget(self.splitter_2)
|
||||
self.layoutWidget1.setObjectName(_fromUtf8("layoutWidget1"))
|
||||
self.verticalLayout_6 = QtGui.QVBoxLayout(self.layoutWidget1)
|
||||
self.verticalLayout_6.setSizeConstraint(QtGui.QLayout.SetMinimumSize)
|
||||
self.verticalLayout_6.setMargin(0)
|
||||
self.verticalLayout_6.setObjectName(_fromUtf8("verticalLayout_6"))
|
||||
self.horizontalLayout = QtGui.QHBoxLayout()
|
||||
self.horizontalLayout.setSizeConstraint(QtGui.QLayout.SetFixedSize)
|
||||
self.horizontalLayout.setObjectName(_fromUtf8("horizontalLayout"))
|
||||
self.cmdInsert = QtGui.QPushButton(self.layoutWidget)
|
||||
self.cmdInsert = QtGui.QPushButton(self.layoutWidget1)
|
||||
self.cmdInsert.setObjectName(_fromUtf8("cmdInsert"))
|
||||
self.horizontalLayout.addWidget(self.cmdInsert)
|
||||
self.cmdDelete = QtGui.QPushButton(self.layoutWidget)
|
||||
self.cmdDelete = QtGui.QPushButton(self.layoutWidget1)
|
||||
self.cmdDelete.setObjectName(_fromUtf8("cmdDelete"))
|
||||
self.horizontalLayout.addWidget(self.cmdDelete)
|
||||
self.verticalLayout_6.addLayout(self.horizontalLayout)
|
||||
self.listWidget = QtGui.QListWidget(self.layoutWidget)
|
||||
self.lstHistory = QtGui.QListWidget(self.layoutWidget1)
|
||||
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Expanding, QtGui.QSizePolicy.Preferred)
|
||||
sizePolicy.setHorizontalStretch(0)
|
||||
sizePolicy.setVerticalStretch(0)
|
||||
sizePolicy.setHeightForWidth(self.listWidget.sizePolicy().hasHeightForWidth())
|
||||
self.listWidget.setSizePolicy(sizePolicy)
|
||||
self.listWidget.setMaximumSize(QtCore.QSize(16777215, 16777215))
|
||||
self.listWidget.setBaseSize(QtCore.QSize(0, 0))
|
||||
self.listWidget.setObjectName(_fromUtf8("listWidget"))
|
||||
self.verticalLayout_6.addWidget(self.listWidget)
|
||||
sizePolicy.setHeightForWidth(self.lstHistory.sizePolicy().hasHeightForWidth())
|
||||
self.lstHistory.setSizePolicy(sizePolicy)
|
||||
self.lstHistory.setMaximumSize(QtCore.QSize(16777215, 16777215))
|
||||
self.lstHistory.setBaseSize(QtCore.QSize(0, 0))
|
||||
self.lstHistory.setObjectName(_fromUtf8("lstHistory"))
|
||||
self.verticalLayout_6.addWidget(self.lstHistory)
|
||||
self.horizontalLayout_3 = QtGui.QHBoxLayout()
|
||||
self.horizontalLayout_3.setObjectName(_fromUtf8("horizontalLayout_3"))
|
||||
self.cmdOptimize = QtGui.QPushButton(self.layoutWidget)
|
||||
self.cmdOptimize = QtGui.QPushButton(self.layoutWidget1)
|
||||
self.cmdOptimize.setObjectName(_fromUtf8("cmdOptimize"))
|
||||
self.horizontalLayout_3.addWidget(self.cmdOptimize)
|
||||
self.cmdUndoOptimize = QtGui.QPushButton(self.layoutWidget)
|
||||
self.cmdUndoOptimize = QtGui.QPushButton(self.layoutWidget1)
|
||||
self.cmdUndoOptimize.setObjectName(_fromUtf8("cmdUndoOptimize"))
|
||||
self.horizontalLayout_3.addWidget(self.cmdUndoOptimize)
|
||||
self.cmdClearHistory = QtGui.QPushButton(self.layoutWidget)
|
||||
self.cmdClearHistory = QtGui.QPushButton(self.layoutWidget1)
|
||||
self.cmdClearHistory.setObjectName(_fromUtf8("cmdClearHistory"))
|
||||
self.horizontalLayout_3.addWidget(self.cmdClearHistory)
|
||||
self.verticalLayout_6.addLayout(self.horizontalLayout_3)
|
||||
@@ -214,7 +214,7 @@ class Ui_MainWindow(object):
|
||||
|
||||
self.retranslateUi(MainWindow)
|
||||
QtCore.QObject.connect(self.cmdClearQuery, QtCore.SIGNAL(_fromUtf8("clicked()")), self.txtQuery.clear)
|
||||
QtCore.QObject.connect(self.cmdClearHistory, QtCore.SIGNAL(_fromUtf8("clicked()")), self.listWidget.clear)
|
||||
QtCore.QObject.connect(self.cmdClearHistory, QtCore.SIGNAL(_fromUtf8("clicked()")), self.lstHistory.clear)
|
||||
QtCore.QObject.connect(self.txtQuery, QtCore.SIGNAL(_fromUtf8("returnPressed()")), MainWindow.execute)
|
||||
QtCore.QObject.connect(self.cmdExecute, QtCore.SIGNAL(_fromUtf8("clicked()")), MainWindow.execute)
|
||||
QtCore.QObject.connect(self.cmdAbout, QtCore.SIGNAL(_fromUtf8("clicked()")), MainWindow.showAbout)
|
||||
@@ -243,6 +243,7 @@ class Ui_MainWindow(object):
|
||||
QtCore.QObject.connect(self.lstRelations, QtCore.SIGNAL(_fromUtf8("itemDoubleClicked(QListWidgetItem*)")), MainWindow.printRelation)
|
||||
QtCore.QObject.connect(self.lstRelations, QtCore.SIGNAL(_fromUtf8("itemClicked(QListWidgetItem*)")), MainWindow.showAttributes)
|
||||
QtCore.QObject.connect(self.cmdClearQuery, QtCore.SIGNAL(_fromUtf8("clicked()")), self.txtQuery.setFocus)
|
||||
QtCore.QObject.connect(self.lstHistory, QtCore.SIGNAL(_fromUtf8("itemDoubleClicked(QListWidgetItem*)")), MainWindow.resumeHistory)
|
||||
QtCore.QMetaObject.connectSlotsByName(MainWindow)
|
||||
MainWindow.setTabOrder(self.cmdAbout, self.cmdSurvey)
|
||||
MainWindow.setTabOrder(self.cmdSurvey, self.cmdProduct)
|
||||
@@ -261,8 +262,8 @@ class Ui_MainWindow(object):
|
||||
MainWindow.setTabOrder(self.cmdArrow, self.table)
|
||||
MainWindow.setTabOrder(self.table, self.cmdInsert)
|
||||
MainWindow.setTabOrder(self.cmdInsert, self.cmdDelete)
|
||||
MainWindow.setTabOrder(self.cmdDelete, self.listWidget)
|
||||
MainWindow.setTabOrder(self.listWidget, self.cmdOptimize)
|
||||
MainWindow.setTabOrder(self.cmdDelete, self.lstHistory)
|
||||
MainWindow.setTabOrder(self.lstHistory, self.cmdOptimize)
|
||||
MainWindow.setTabOrder(self.cmdOptimize, self.cmdUndoOptimize)
|
||||
MainWindow.setTabOrder(self.cmdUndoOptimize, self.cmdClearHistory)
|
||||
MainWindow.setTabOrder(self.cmdClearHistory, self.lstRelations)
|
||||
@@ -309,13 +310,3 @@ class Ui_MainWindow(object):
|
||||
self.cmdClearQuery.setText(QtGui.QApplication.translate("MainWindow", "⌫", None, QtGui.QApplication.UnicodeUTF8))
|
||||
self.cmdExecute.setText(QtGui.QApplication.translate("MainWindow", "Execute", None, QtGui.QApplication.UnicodeUTF8))
|
||||
|
||||
|
||||
if __name__ == "__main__":
|
||||
import sys
|
||||
app = QtGui.QApplication(sys.argv)
|
||||
MainWindow = QtGui.QMainWindow()
|
||||
ui = Ui_MainWindow()
|
||||
ui.setupUi(MainWindow)
|
||||
MainWindow.show()
|
||||
sys.exit(app.exec_())
|
||||
|
||||
|
Reference in New Issue
Block a user