diff options
| author | japm48 <japm48@users.noreply.github.com> | 2020-04-02 23:33:37 +0200 |
|---|---|---|
| committer | mormj <34754695+mormj@users.noreply.github.com> | 2020-04-03 14:32:28 -0400 |
| commit | 16a80b2815c9adff636d36836eb3d4df13fd97eb (patch) | |
| tree | a93f958cbb34b6c3f2a7a040efa028f0e0eb52b8 /grc/gui/MainWindow.py | |
| parent | 85a2e0ec362fcc862bfdab898d6bdbd4200431bb (diff) | |
grc: show file path as tooltip in tab label
Fixes #3294.
Diffstat (limited to 'grc/gui/MainWindow.py')
| -rw-r--r-- | grc/gui/MainWindow.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/grc/gui/MainWindow.py b/grc/gui/MainWindow.py index 2d8de8cd08..3499a55050 100644 --- a/grc/gui/MainWindow.py +++ b/grc/gui/MainWindow.py @@ -361,6 +361,10 @@ class MainWindow(Gtk.ApplicationWindow): foreground='black' if page.saved else 'red', ro=' (ro)' if page.get_read_only() else '', title=Utils.encode(file_name or NEW_FLOGRAPH_TITLE), )) + fpath = page.file_path + if not fpath: + fpath = '(unsaved)' + page.set_tooltip(fpath) # show/hide notebook tabs self.notebook.set_show_tabs(len(self.get_pages()) > 1) |