Editor: Script Editor enhancements
The script editor subview needs a way to switch to other scripts. Something like a forward and backward button, and maybe even a search field. Other function might be useful too (like deleting the script, maybe cloning or reverting it, compiling the script to check for errors). However we need to make sure, that this stays compact and does not clutter the interface.
(RM-706 from redmine: created on 2013-04-11 by Marc Zinnschlag, , closed on 2015-07-18 by Marc Zinnschlag, duplicates #2619 (closed))
Edited by redmine