blob: 96cb91a82d3e99226806f49aef77fc11f53429a2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
--- jumpnbump_menu.py.pre.orig 2019-09-02 13:30:08.000000000 +0200
+++ jumpnbump_menu.py.pre 2020-03-05 19:47:09.743913822 +0100
@@ -236,6 +236,8 @@
withmusic = gui.get_object('withmusic')
image = gui.get_object('image')
about_dialog = gui.get_object('about')
+ mainwindow = gui.get_object('main')
+ mainwindow.set_icon_from_file('/usr/share/icons/jumpnbump.png')
gui.connect_signals({'standalone_mode': standalone_mode,
'client_mode': client_mode,
|