32 lines
906 B
Diff
32 lines
906 B
Diff
|
--- jumpnbump_menu.py.pre.orig 2017-05-21 20:06:53.393232483 +0200
|
||
|
|
+++ jumpnbump_menu.py.pre 2017-05-21 20:10:36.387911904 +0200
|
||
|
|
@@ -1,4 +1,4 @@
|
||
|
|
-#!/usr/bin/env python
|
||
|
|
+#!/usr/bin/env python2
|
||
|
|
|
||
|
|
# Author: Martin Willemoes Hansen
|
||
|
|
# License: Gnu GPL
|
||
|
|
@@ -147,11 +147,8 @@
|
||
|
|
|
||
|
|
def get_level():
|
||
|
|
level = []
|
||
|
|
- if (mirror.get_active()):
|
||
|
|
- level.append('-mirror')
|
||
|
|
- else:
|
||
|
|
- level.append('-dat')
|
||
|
|
- level.append(choosen_level)
|
||
|
|
+ level.append('-dat')
|
||
|
|
+ level.append(choosen_level)
|
||
|
|
|
||
|
|
return level
|
||
|
|
|
||
|
|
@@ -224,6 +221,8 @@
|
||
|
|
noflies = gui.get_widget('noflies')
|
||
|
|
withmusic = gui.get_widget('withmusic')
|
||
|
|
image = gui.get_widget('image')
|
||
|
|
+ mainwindow = gui.get_widget('main')
|
||
|
|
+ mainwindow.set_icon_from_file('/usr/share/icons/jumpnbump.png')
|
||
|
|
|
||
|
|
gui.signal_autoconnect({'standalone_mode': standalone_mode,
|
||
|
|
'client_mode': client_mode,
|