F5 in editor

Pressing F5 in MPS will cause the currently open editor to be rebuilt from scratch, laid out again (“relayouted”), re-rendered and will cause type system messages to be recalculated. This helps when the editor is behaving erratically, if you see a type system error that should not be there, or if you don’t see an error that should be there.

To force such an update programmatically call EditorComponent#update(). If you have an editorContext, this becomes:

editorContext.getEditorComponent().update();

You may also need to force an update if your editor displays information that is not stored in the model. The editor components tracks which model data was accessed while it was being rendered and will update itself automatically if any piece of that data changes. But non-model data, such as user objects associated with a node, is not tracked and require a forced update.