gnome-shell-extension-ddterm
gnome-shell-extension-ddterm copied to clipboard
Change window title(?) from 'com.github.amezin.ddterm' to 'ddterm'
This is a very minor cosmetic issue, but:
When the window is displayed, in the activity bar, where a window's title is normally displayed, DDTerm shows up as "com.github.amezin.ddterm". It would be nice if this were just 'ddterm".
It's not the window title. It's the application name.
As far as I know, I can't change it unless I install a matching *.desktop file (and it might not be enough). I doubt that the extension will pass the review on extensions.gnome.org with hacks like this.
If you enable "Exclude window from overview/taskbar," the app name will be hidden.
I think this can be closed as completed because of 7ee4db0 :)
@pesader Yes, thank you
Fixed in master/will be available in v44