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