Firefox 56.0.1 (64 bit)
Greasemonkey 4.0alpha6
All other add-ons/extensions disabled
Windows 7 Enterprise
I
have a couple of home-made user scripts. I used to be able to edit them
in Notepad++, but I understand this isn't supported any more. That's
fine.
Let's say I want to make changes to a script. I click the
monkey menu, click the script name, and then click Edit. What I get is a
new Firefox tab, moz-extension://<some alphanumeric
stuff>/src/content/edit-user-script.html#<more alphanumeric>,
containing a tab-like interface with the script name, below which is the
text of my script. I can edit it, that's fine... but how do I save it?
If
I make changes, the script name in the tab-within-a-tab gets a little *
after it. But there's no save button anywhere. The monkey menu doesn't
have it. Right-click just gives me the usual Firefox context menu,
including "Save Page As...", but that just lets me save the editor page -
not the script file - to my computer. The Firefox menu bar doesn't have
any new options. Closing the page doesn't automatically save the
contents.
I eventually found out that the keyboard shortcut
ctrl-s will save the script, but that's not documented anywhere. Is
there a bug that's causing the save button, and presumably other
options, to fail to display for me?