This is a problem in gnome-shell as well: I just tested using Ubuntu 11.10 and jEdit does not show "Add to Favorites" like other apps do.
This is a problem in gnome-shell as well: I just tested using Ubuntu 11.10 and jEdit does not show "Add to Favorites" like other apps do.