diff options
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') |