Greasemonkey 4 alpha - missing "save script" button?

460 views
Skip to first unread message

t.pa...@gmail.com

unread,
Oct 10, 2017, 12:26:02 PM10/10/17
to greasemonkey-users
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?

Anthony Lieuallen

unread,
Oct 10, 2017, 2:02:39 PM10/10/17
to greasemon...@googlegroups.com
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.

--
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 greasemonkey-users+unsub...@googlegroups.com.
To post to this group, send email to greasemonkey-users@googlegroups.com.
Visit this group at https://groups.google.com/group/greasemonkey-users.
For more options, visit https://groups.google.com/d/optout.

Reply all
Reply to author
Forward
0 new messages