Closed tflori closed 5 months ago
I found out the application on ubuntu 22.04 is very different: com.mattjakeman.ExtensionManager.desktop
Wouldn't it make sense to give two configuration options for the application names?
You can now add any application in the system menu with version 20, which is compatible with Gnome Shell 45 and 46. The default will show Tweaks, Extensions and Extension Manager, if they are installed.
I found out the application on ubuntu 22.04 is very different: com.mattjakeman.ExtensionManager.desktop
Wouldn't it make sense to give two configuration options for the application names?