void modifyEvent(int lno) { updateViewport(); baseEditor.modifyEvent(lno); redrawFrom(lno); stateChanged(); }