Parcourir la source

Bug corrected : default icon changed

pull/18/head
Simon Marache-Francisco il y a 15 ans
Parent
révision
df3efd5383
1 fichiers modifiés avec 1 ajouts et 0 suppressions
  1. +1
    -0
      jumpapplet

+ 1
- 0
jumpapplet Voir le fichier

@ -155,6 +155,7 @@ def init():
load_defaults()
if os.path.isfile("icon.png"): icon=gtk.status_icon_new_from_file("icon.png")
elif os.path.isfile("/usr/share/autojump/icon.png"): icon=gtk.status_icon_new_from_file("/usr/share/autojump/icon.png")
else: icon=gtk.status_icon_new_from_icon_name("help")
icon.set_visible(True)
icon.connect("popup-menu",popup)

Chargement…
Annuler
Enregistrer