Browse Source

Merge 0411b5f117 into 08554c83f5

pull/10/merge
Didier Spaier 6 years ago
committed by GitHub
parent
commit
ba292a9e96
No known key found for this signature in database GPG Key ID: 4AEE18F83AFDEB23
  1. 11
      src/xdgmenumaker

11
src/xdgmenumaker

@ -399,12 +399,11 @@ def get_entry_info(desktopfile, ico_paths=True):
notshowin = de.getNotShowIn() notshowin = de.getNotShowIn()
hidden = de.getHidden() hidden = de.getHidden()
nodisplay = de.getNoDisplay() nodisplay = de.getNoDisplay()
# none of the freedesktop registered environments are supported by if 'XDG_CURRENT_DESKTOP' in os.environ and len(onlyshowin) >0 and not os.environ['XDG_CURRENT_DESKTOP'] in onlyshowin:
# OnlyShowIn anyway: return None
# http://standards.freedesktop.org/menu-spec/latest/apb.html if 'XDG_CURRENT_DESKTOP' in os.environ and len(notshowin) >0 and os.environ['XDG_CURRENT_DESKTOP'] in notshowin:
# So if OnlyShowIn is set, it certainly isn't for any of the WMs return None
# xdgmenumaker supports. if hidden or nodisplay:
if (onlyshowin != []) or (desktop in notshowin) or hidden or nodisplay:
return None return None
name = de.getName().encode('utf-8') name = de.getName().encode('utf-8')

Loading…
Cancel
Save