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();
}
}
