debian menu sorting does not work anymore?

[Erik Steffl <steffl@bigfoot.com>]

  I changed /etc/menu-methods/menu.h to change sorting to sorting by
priority:

sort=ifelse($priority, $priority, "99")

  I have a menu item in /etc/menu defined like this:

jojda:/etc/menu-methods> cat /etc/menu/xterm
?package(xterm):\
 needs=x11\
 section="/"\
 longtitle="Xterm: terminal emulator for X"\
 title=Xterm\
 priority="01"\
 command="xterm -fg green -bg black" \
 icon="/usr/X11R6/include/X11/pixmaps/wterm.xpm"

  (plus several similar ones with different priorities)

  it used to work but since last upgrade it doesn't (I get alphabetical
order). Any ideas? Bug?

	erik