public void InvalidateLayers()
{
if (ShapeLayer.InvalidateVisual != null)
{
ShapeLayer.InvalidateVisual();
}
if (BlockLayer.InvalidateVisual != null)
{
BlockLayer.InvalidateVisual();
}
if (PinLayer.InvalidateVisual != null)
{
PinLayer.InvalidateVisual();
}
if (WireLayer.InvalidateVisual != null)
{
WireLayer.InvalidateVisual();
}
if (OverlayLayer.InvalidateVisual != null)
{
OverlayLayer.InvalidateVisual();
}
}
public override void Attach(ITextEditor editor)
{
if (editor == null)
return;
var textEditor = editor.GetService(typeof(TextEditor)) as TextEditor;
if (textEditor != null) {
pinLayer = new PinLayer(textEditor.TextArea);
textEditor.TextArea.TextView.InsertLayer(
pinLayer,
KnownLayer.Caret,
LayerInsertionPosition.Above);
}
_editor = editor;
CreatePins(_editor);
base.Attach(editor);
}
public override void Detach()
{
ClosePins(_editor);
pinLayer = null;
base.Detach();
}
