void TextArea_MouseHover(object sender, MarginEventArgs e) { if (!drawer.AutoHide) { return; } if (e.Margin == editor.TextViewMargin) { StartFadeOutAnimation(); } else { if (drawer.FoldMarkerOcapitiy >= 1) { return; } if (animationStage.Contains(this)) { if (fadeIn) { return; } animationStage.Exeunt(); } fadeIn = true; animationStage.Add(this, FadeInTimer, drawer.FoldMarkerOcapitiy); animationStage.Play(); } }
void TextArea_MouseHover(object sender, MarginEventArgs e) { if (e.Margin == editor.TextViewMargin) { StartFadeOutAnimation(); } else { StartFadeInAnimation(); } }