You made my day. Thank you. Now I have a minimal working example to experiment with.

Uko

On 21 Mar 2016, at 20:46, Henrik Nergaard <henrik.nergaard@uia.no> wrote:

'| area | area := RubEditingArea new.