Thanks Marco but it should be fine, that gtk change is low priority and
I can have a look, it should be easy enough (basically adding a static
list of .desktop names to ignore)

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1763763

Title:
  Duplicate apps in Open With Other Application

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gtk+3.0/+bug/1763763/+subscriptions

-- 
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to