summaryrefslogtreecommitdiff
path: root/grc/src/gui/MainWindow.py
diff options
context:
space:
mode:
authorjblum2008-10-08 20:17:18 +0000
committerjblum2008-10-08 20:17:18 +0000
commit5bc7e8d906438a9b3809d4ce3be4a5c016a13bbf (patch)
treeab215a9c3a8d29af386878f94f39589a08470996 /grc/src/gui/MainWindow.py
parent55ef8d97a4de54f41df8fe9fa53397ab813a8af8 (diff)
downloadgnuradio-5bc7e8d906438a9b3809d4ce3be4a5c016a13bbf.tar.gz
gnuradio-5bc7e8d906438a9b3809d4ce3be4a5c016a13bbf.tar.bz2
gnuradio-5bc7e8d906438a9b3809d4ce3be4a5c016a13bbf.zip
read-only aware
git-svn-id: http://gnuradio.org/svn/gnuradio/trunk@9751 221aa14e-8319-0410-a670-987f0aec2ac5
Diffstat (limited to 'grc/src/gui/MainWindow.py')
-rw-r--r--grc/src/gui/MainWindow.py2
1 files changed, 2 insertions, 0 deletions
diff --git a/grc/src/gui/MainWindow.py b/grc/src/gui/MainWindow.py
index b86ec4cbd..95a362688 100644
--- a/grc/src/gui/MainWindow.py
+++ b/grc/src/gui/MainWindow.py
@@ -246,6 +246,7 @@ class MainWindow(gtk.Window):
' - Editing: ',
(self.get_page().get_file_path() or NEW_FLOGRAPH_TITLE),
(self.get_page().get_saved() and ' ' or '*'), #blank must be non empty
+ (self.get_page().get_read_only() and ' (read-only)' or ''),
)
)
else: title = MAIN_WINDOW_PREFIX + ' - Editor '
@@ -262,6 +263,7 @@ class MainWindow(gtk.Window):
page.set_text(''.join((
(title or NEW_FLOGRAPH_TITLE),
(page.get_saved() and ' ' or '*'), #blank must be non empty
+ (page.get_read_only() and ' (ro)' or ''),
)
)
)