Bug#893635: does not show up in GNOME's application menus

[Antoine Beaupré]

On 2018-04-02 02:49:12, Felix Natter wrote:
> hello Antoine,
>
> I have got a reply from xdg from a user who has the same problem:
>   https://lists.freedesktop.org/archives/xdg/2018-April/014010.html
>
> So it looks like this might be a GNOME(3) problem (or can you reproduce
> this with KDE or another desktop?)
>
> I think it would make sense to report this against GNOME (either
> upstream or in Debian), unless you can reproduce it with KDE, e17, etc.

Hi,

This happens in GNOME "Classic" of course - maybe it works fine in GNOME
Shell, I don't know. And yes, maybe this should be moved to some gnome
package and "affects" this package instead... But I figured I would just
scratch that itch and provide a quick way out. I'm not sure why
Terminal=false is necessary anyways...

A.

-- 
Si les élections n'étaient pas indispensables à la prospérité du
capital, on ne nous les servirait pas partout, toujours, à coup de
fric, à coup de flics.
                        - René Binamé