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