Right clicking a resource path in a restart should give the option to edit it

[erg]

I don't know where this menu code lives...impossible to grep for!

Also right-clicking a restart that says USE: foo maybe edit foo, foo-docs, foo-tests...?

[mrjbq7]

Yeah, that's a good idea, but those are restarts though, not pathnames.

[erg]

Could we add a custom right-click menu to restarts? Or just close this bug?

[mrjbq7]

Let me investigate

…

On Jun 14, 2020, at 5:15 PM, Doug Coleman ***@***.***> wrote:  Could we add a custom right-click menu to restarts? Or just close this bug? — You are receiving this because you commented. Reply to this email directly, view it on GitHub, or unsubscribe.