Fix overflow in procedure editor
Merge branch 'master' into procedure-editor-overflow

Conflicts:
	src/ui/ProcedureSpecEditor.as
Merge pull request #370 from nathan/procedure-editor-overflow

Fix overflow in procedure editor