Wrong section highlighting in code editor

[M. Gronle]

It seems that scripts, that end with indented blocks show a wrong code highlighting, if the mouse
is over the last indented block:

‌

However, if there is another new line after the script, the highlighting looks good:

‌

[M. Gronle]

fixes issue #110 (wrong scope decoration if document ended with a scope with level > 0)

→ <<cset 9f4f2da5b44e>>