Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Could not launch editor (164333.user.js) #1732
I was able to edit this script with selected editor by right clicking on the script entry on Add-ons Manager and select 'Edit'.
The issue is, if I use Options on this script and click the Edit button, GM tried to open Scratchpad to edit this script and failed. GM then used Scratchpad to edit any script, replacing my selected editor.
The issue never happened if I change the
@shyangs, can you confirm this?
It can be modified, for example:
- case 'namespace': case 'version': script['_' + header] = value; + break; + case 'namespace': + script['_' + header] = decodeURI(value);
Yes, it was just an example.
The minimum should be, for example:
Probably not very relevant but better fixed than unfixed.