A new global menu extension for GNOME Shell was released this week, and unlike ones you may might tried (and given up on) in the past, this one seems to work well.
A new global menu extension for GNOME Shell was released this week, and unlike ones you may might tried (and given up on) in the past, this one seems to work well.