| 1234567891011121314151617181920212223242526272829303132 |
- --- 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,
|
