diff options
| author | Johnathan Corgan <johnathan@corganlabs.com> | 2017-09-25 13:40:44 -0700 |
|---|---|---|
| committer | Johnathan Corgan <johnathan@corganlabs.com> | 2017-09-25 13:40:44 -0700 |
| commit | 07a0ca6c3664669f85faeee00fa69d2af3a7b59f (patch) | |
| tree | 6ee9fcee6f49ced1766e2d52d0e508408549c2c4 /grc | |
| parent | 67325501228cccd1e7b231c5c40f6bed950dccaf (diff) | |
| parent | 8fe518ce740ae728f658c1854a7ffa074e800e9d (diff) | |
Merge branch 'next' into python3
Diffstat (limited to 'grc')
| -rw-r--r-- | grc/gui/MainWindow.py | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/grc/gui/MainWindow.py b/grc/gui/MainWindow.py index 01502b38f9..ec927a4777 100644 --- a/grc/gui/MainWindow.py +++ b/grc/gui/MainWindow.py @@ -71,8 +71,11 @@ class MainWindow(Gtk.ApplicationWindow): vbox = Gtk.VBox() self.add(vbox) - # Set window icon - self.set_icon_from_file(os.path.dirname(os.path.abspath(__file__)) + "/icon.png") + icon_theme = gtk.icon_theme_get_default() + icon = icon_theme.lookup_icon("gnuradio-grc", 48, 0) + if not icon: + # Set window icon + self.set_icon_from_file(os.path.dirname(os.path.abspath(__file__)) + "/icon.png") # Create the menu bar and toolbar generate_modes = platform.get_generate_options() |