| Subject: | TextEditor scrollbar does not update correctly |
Look at example/demo-widgets:
Demo 4/15, Texteditor:
The vertical scrollbar of the current focussed TextEditor (left) does
not update correctly. It is only updated if PAGE_DOWN is pressed twice.
The scrollbar of the synchronized second (middle) updates fine.
Regards,
Massimo