void DisplayCaretHighlightAnimation() { TextArea textArea = Adapter.GetService(typeof(TextArea)) as TextArea; if (textArea == null) { return; } AdornerLayer layer = AdornerLayer.GetAdornerLayer(textArea.TextView); CaretHighlightAdorner adorner = new CaretHighlightAdorner(textArea); layer.Add(adorner); WorkbenchSingleton.CallLater(TimeSpan.FromSeconds(1), (Action)(() => layer.Remove(adorner))); }
void DisplayCaretHighlightAnimation() { TextArea textArea = Adapter.GetService(typeof(TextArea)) as TextArea; if (textArea == null) { return; } AdornerLayer layer = AdornerLayer.GetAdornerLayer(textArea.TextView); if (layer == null) { return; } CaretHighlightAdorner adorner = new CaretHighlightAdorner(textArea); layer.Add(adorner); SD.MainThread.CallLater(TimeSpan.FromSeconds(1), () => layer.Remove(adorner)); }
void DisplayCaretHighlightAnimation() { TextArea textArea = Adapter.GetService(typeof(TextArea)) as TextArea; if (textArea == null) return; AdornerLayer layer = AdornerLayer.GetAdornerLayer(textArea.TextView); CaretHighlightAdorner adorner = new CaretHighlightAdorner(textArea); layer.Add(adorner); WorkbenchSingleton.CallLater(TimeSpan.FromSeconds(1), (Action)(() => layer.Remove(adorner))); }
void DisplayCaretHighlightAnimation() { TextArea textArea = Adapter.GetService(typeof(TextArea)) as TextArea; if (textArea == null) return; AdornerLayer layer = AdornerLayer.GetAdornerLayer(textArea.TextView); if (layer == null) return; CaretHighlightAdorner adorner = new CaretHighlightAdorner(textArea); layer.Add(adorner); SD.MainThread.CallLater(TimeSpan.FromSeconds(1), () => layer.Remove(adorner)); }