Ubuntu
topmenu-gtk package

  1. Bug #1564660
  2. Comment #2

Comment 2 for bug 1564660

Revision history for this message
gravy45 (gravy45) wrote :

For this one, I think it might need to be reported to the maintainer, as I don't see where "Preferences" is a valid choice.

https://git.javispedro.com/cgit/topmenu-gtk.git/log/