bad .desktop
Bug #49546 reported by
Vassilis Pandis
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
coq (Debian) |
Fix Released
|
Unknown
|
|||
coq (Ubuntu) |
Fix Released
|
Low
|
Jonh Wendell |
Bug Description
Coqide ships with a .desktop that is affected by bug #47426. Besides that, I remove the absolute path and exec and improved the name.
Changed in coq: | |
assignee: | nobody → pandisv |
Changed in coq: | |
status: | Unknown → Unconfirmed |
Changed in coq: | |
status: | Unconfirmed → Fix Committed |
Changed in coq: | |
status: | Fix Committed → Fix Released |
Changed in coq: | |
assignee: | motu → nobody |
status: | Unconfirmed → Confirmed |
Changed in coq: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.
It validates and shows in Gnome Menus under "Other"