There is no save button, just Ctrl-S. Adding one seems like a decent feature request. The editor today is definitely the minimum possible to function at all.
On Tue, Oct 10, 2017 at 12:26 PM, <[email protected]> wrote: > 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? > > -- > You received this message because you are subscribed to the Google Groups > "greasemonkey-users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at https://groups.google.com/group/greasemonkey-users. > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "greasemonkey-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/greasemonkey-users. For more options, visit https://groups.google.com/d/optout.
