static void OnDebugStopped(object sender, EventArgs e) { CurrentLineBookmark.Remove(); WorkbenchSingleton.Workbench.WorkbenchLayout.StoreConfiguration(); LayoutConfiguration.CurrentLayoutName = oldLayoutConfiguration; if (DebugStopped != null) { DebugStopped(null, e); } }
/* TODO: reimplement this stuff * static void ViewContentOpened(object sender, ViewContentEventArgs e) * { * textArea.IconBarMargin.MouseDown += IconBarMouseDown; * textArea.ToolTipRequest += TextAreaToolTipRequest; * textArea.MouseLeave += TextAreaMouseLeave; * }*/ public static void RemoveCurrentLineMarker() { CurrentLineBookmark.Remove(); }