mirror of
https://github.com/edu4rdshl/gnome-shell.git
synced 2026-07-18 07:34:54 +00:00
After creating a new extension, we try to open the main source file with the default handler, which fails when there is none. But given that the extension was created successfully, don't treat a missing handler as failure, and print the path to the new extension instead. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/905 |
||
|---|---|---|
| .. | ||
| extensions-tool | ||
| gvc@ec5cf3e0de | ||