Bug#383310: coqide .desktop fixes
Package: coq Version :8.0pl3-2 Severity: minor This bug was originally reported at http://launchpad.net/bugs/49546 . The .desktop that comes with coqide does not appear in the menus because of the following bug: http://launchpad.net/bugs/47426. The .desktop would also benefit from other minor fixes. Attached is a diff with proposed alterations. Thanks in advance. ___ The all-new Yahoo! Mail goes wherever you go - free your email address from your Internet provider. http://uk.docs.yahoo.com/nowyoucan.html--- coqide.old 2006-06-13 10:21:49.0 +0300 +++ coqide.desktop 2006-06-13 10:21:34.0 +0300 @@ -1,9 +1,9 @@ [Desktop Entry] Encoding=UTF-8 -Name=CoqIde +Name=CoqIde Proof Assistant Comment=Graphical interface for the Coq proof assistant -Exec=/usr/bin/coqide +Exec=coqide Type=Application -Categories=GTK;Science;Math; +Categories=GTK;Science;Math;Application; Terminal=false -Icon=/usr/share/pixmaps/coq.xpm +Icon=coq
Bug#383310: coqide .desktop fixes
Hi, Vassilis Pandis wrote: > The .desktop that comes with coqide does not appear in the menus because of > the following bug: > http://launchpad.net/bugs/47426. The .desktop would also benefit from other > minor fixes. Attached > is a diff with proposed alterations. Thanks in advance. This is already fixed in the experimental version. It will make its way to unstable when coq 8.1 is officially released. Thanks for reporting this. Cheers, Samuel. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
Bug#383310: coqide .desktop fixes
Thanks and sorry for the noise. I guess I should have checked the debian package more thorougly. ___ Inbox full of spam? Get leading spam protection and 1GB storage with All New Yahoo! Mail. http://uk.docs.yahoo.com/nowyoucan.html -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]