protected internal override void FocusOut() { base.FocusOut(); focusMarkers = null; focusedIndex = 0; editor.RedrawMargin(this); }
bool AnimationStage_ActorStep(Actor <FoldMarkerMargin> actor) { drawer.FoldMarkerOcapitiy = fadeIn ? actor.Percent : 1.0 - actor.Percent; editor.RedrawMargin(this); return(true); }
void HandleEditorDocumentFoldTreeUpdated(object sender, EventArgs e) { editor.RedrawMargin(this); }
void HandleEditorDocumentFoldTreeUpdated(object sender, EventArgs e) { UpdateAccessibility(); editor.RedrawMargin(this); }