diff options
| author | fahim | 2015-05-08 17:22:19 +0530 |
|---|---|---|
| committer | fahim | 2015-05-08 17:22:19 +0530 |
| commit | 37854e4e6e1dfd448bc7fb63e31d750843aa68bc (patch) | |
| tree | 6e05791ab65b9084c34c0d32f01dde2f0d3962e1 /src/frontEnd/ProjectExplorer.py | |
| parent | 4ec06556f4bd459477a4468acb562a0333a8ec07 (diff) | |
| download | eSim-37854e4e6e1dfd448bc7fb63e31d750843aa68bc.tar.gz eSim-37854e4e6e1dfd448bc7fb63e31d750843aa68bc.tar.bz2 eSim-37854e4e6e1dfd448bc7fb63e31d750843aa68bc.zip | |
Subject: Added DockArea
Description: Added DockArea.py and modify Application.py to handle
DockArea.
Diffstat (limited to 'src/frontEnd/ProjectExplorer.py')
| -rw-r--r-- | src/frontEnd/ProjectExplorer.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/frontEnd/ProjectExplorer.py b/src/frontEnd/ProjectExplorer.py index 4b6e0c70..282133cb 100644 --- a/src/frontEnd/ProjectExplorer.py +++ b/src/frontEnd/ProjectExplorer.py @@ -234,6 +234,7 @@ class ProjectExplorer(QtGui.QWidget): self.textwindow = QtGui.QWidget() self.textwindow.setMinimumSize(600, 500) + self.textwindow.setWindowTitle(filename) self.text = QtGui.QTextEdit() #self.text.setMaximumSize(580, 450) self.save = QtGui.QPushButton('Save and Exit') |