Visibility of specification

[Kodde2011]

Specification fields are quite narrow at the moment, especially for large programs like bubblesort. I'd like some solution to show more of the spec, at least when being active in the field

[S3vro]

Idea is something like: The user clicks the specification and it becomes a little larger to during the time it is getting edited