mirror of
https://github.com/edu4rdshl/gnome-shell.git
synced 2026-07-17 23:24:51 +00:00
6b7c85b079
Now that the extension preference dialog is opened by a separate D-Bus service rather than the Extensions app, it can be opened without a parent window that provides name and icon. Fix this by adding back a hidden .desktop file. https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/2562
10 lines
321 B
Text
10 lines
321 B
Text
[Desktop Entry]
|
|
Type=Application
|
|
# Keep in sync with subprojects/extensions-app
|
|
Name=Extensions
|
|
# Translators: Do NOT translate or transliterate this text (this is an icon file name)!
|
|
Icon=org.gnome.Shell.Extensions
|
|
# Never launch this, just provide name+icon to portal dialog
|
|
Exec=false
|
|
OnlyShowIn=GNOME;
|
|
NoDisplay=true
|