d1f87ca115
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 |