Hi,

is there a possibility to have a very basic text editor within Galaxy (or is there already one and I didn't find it)? I find myself saving files to my pc and uploading them again, or use some regular expression to edit my files, just to fix some small part that needs to be edited before it can go into a tool. Enabling a text editor for files not larger as they are provided by the 'display data' would be very helpful.

Cheers,
Jelle