Bug#428820: wxmaxima: missing menu icon

2008-11-01 Thread Luis Saavedra
Subject: wxmaxima: missing menu icon Package: wxmaxima Followup-For: Bug #428820 tags 428820 patch subscribe 428820 [EMAIL PROTECTED] thanks The following patch fixes Bug#428820 --- wxmaxima-0.7.1/debian/wxmaxima.menu 2008-11-01 19:48:40.0 -0300 +++

Bug#428820: wxmaxima: missing menu icon

2008-11-01 Thread Luis Saavedra
tags 428820 patch thanks The following patch fixes Bug#428820 --- wxmaxima-0.7.1/debian/wxmaxima.menu 2008-11-01 19:48:40.0 -0300 +++ wxmaxima-0.7.1.new/debian/wxmaxima.menu 2008-11-01 19:49:30.0 -0 300 @@ -1,7 +1,6 @@ ?package(wxmaxima):\ needs=X11 \ -

Bug#428820: wxmaxima: missing menu icon

2007-06-14 Thread Arnaud Baysse
Subject: wxmaxima: missing menu icon Package: wxmaxima Version: 0.7.1-1 Severity: minor I know that is not a big problem, but wxMaxima has no icon in the Gnome menu. -- System Information: Debian Release: lenny/sid APT prefers testing APT policy: (500, 'testing') Architecture: i386 (i686)