public WindowedBreakpoint(ITextAnnotation annotation, string file)
{
Contract.Requires(annotation != null, "annotation is null");
Contract.Requires(!string.IsNullOrEmpty(file), "file is null or empty");
Annotation = annotation;
File = file;
}
public new void mouseExited(NSEvent e)
{
if (m_tooltipWindow != null)
{
m_tooltipWindow.Close();
m_tooltipWindow = null;
}
if (m_timer != null)
m_timer.Change(TimeSpan.FromMilliseconds(-1), TimeSpan.FromMilliseconds(-1));
Unused.Value = SuperCall(NSTextView.Class, "mouseExited:", e);
}
public void onClosing(TextController controller)
{
if (m_tooltipWindow != null)
{
m_tooltipWindow.Close();
m_tooltipWindow = null;
}
if (m_timer != null)
m_timer.Dispose();
m_autoComplete = null; // note that these won't be GCed if we don't null them out
m_boss = null;
}
// Note that NSView has support for tooltips, but it's not designed for the sort of very
// dynamic tooltips that we need to support.
private void DoShowTooltip()
{
if (m_tooltipWindow != null)
{
m_tooltipWindow.Close();
m_tooltipWindow = null;
}
if (m_boss != null) // window may have closed while this method was queued up
{
string text = m_tooltip.GetTooltip(m_moveIndex);
if (!string.IsNullOrEmpty(text) && m_boss != null) // boss will be null if the window closed
{
var editor = m_boss.Get<ITextEditor>();
var range = new NSRange(m_moveIndex, 1);
m_tooltipWindow = editor.GetAnnotation(range, AnnotationAlignment.Top);
m_tooltipWindow.BackColor = NSColor.colorWithDeviceRed_green_blue_alpha(1.0f, 0.96f, 0.0f, 1.0f);
m_tooltipWindow.Text= text;
m_tooltipWindow.Draggable = false;
m_tooltipWindow.Visible = true;
}
}
}
