[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Commit-gnuradio] r9809 - gnuradio/trunk/grc/src/gui
From: |
jblum |
Subject: |
[Commit-gnuradio] r9809 - gnuradio/trunk/grc/src/gui |
Date: |
Sun, 19 Oct 2008 01:51:25 -0600 (MDT) |
Author: jblum
Date: 2008-10-19 01:51:24 -0600 (Sun, 19 Oct 2008)
New Revision: 9809
Modified:
gnuradio/trunk/grc/src/gui/MainWindow.py
Log:
simplification
Modified: gnuradio/trunk/grc/src/gui/MainWindow.py
===================================================================
--- gnuradio/trunk/grc/src/gui/MainWindow.py 2008-10-19 02:38:12 UTC (rev
9808)
+++ gnuradio/trunk/grc/src/gui/MainWindow.py 2008-10-19 07:51:24 UTC (rev
9809)
@@ -19,8 +19,7 @@
from Constants import \
MIN_WINDOW_WIDTH, MIN_WINDOW_HEIGHT, \
- NEW_FLOGRAPH_TITLE, REPORTS_WINDOW_HEIGHT, \
- FLOW_GRAPH_FILE_EXTENSION
+ NEW_FLOGRAPH_TITLE, REPORTS_WINDOW_HEIGHT
from Actions import \
APPLICATION_QUIT, FLOW_GRAPH_KILL, \
FLOW_GRAPH_SAVE
@@ -253,13 +252,8 @@
gtk.Window.set_title(self, title)
#set tab titles
for page in self._get_pages():
- title = os.path.basename(page.get_file_path())
- #strip file extension #TEMP
- if title.endswith('.xml'):
- title = title[0:-len('.xml')]
- #strip file extension
- if title.endswith(FLOW_GRAPH_FILE_EXTENSION):
- title = title[0:-len(FLOW_GRAPH_FILE_EXTENSION)]
+ #get filename and strip out file extension
+ title =
os.path.splitext(os.path.basename(page.get_file_path()))[0]
page.set_text(''.join((
(title or NEW_FLOGRAPH_TITLE),
(page.get_saved() and ' ' or
'*'), #blank must be non empty
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Commit-gnuradio] r9809 - gnuradio/trunk/grc/src/gui,
jblum <=