private void AddDebugPage(CodeFileDocumentControl tp)
{
if (TabStack.Count > 0 && !TabStack.Contains(tp))
{
CodeFileDocumentControl cfdc = TabStack[TabStack.Count - 1];
//TabStack.RemoveAt(TabStack.Count-1);
RichTextBox tb = null;
if (OutputTextBoxs.ContainsKey(cfdc))
{
tb = OutputTextBoxs[cfdc];
RichTextBox new_tb = OutputTextBoxs[tp];
new_tb.Text = tb.Text;
}
OutputWindow.OutputTextBoxScrolToEnd();
}
if (!TabStack.Contains(tp))
{
TabStack.Add(tp);
OutputBoxStack.Add(OutputTextBoxs[tp]);
}
if (DebugTabs[tp] != null)
{
return;
}
DebugTabs[tp] = tp.TextEditor.ActiveTextAreaControl.TextArea;
TextAreaHelper.TextAreas[tp.TextEditor.ActiveTextAreaControl.TextArea] = tp.FileName;
tp.TextEditor.ActiveTextAreaControl.TextArea.ToolTipRequest += WorkbenchServiceFactory.DebuggerManager.TextAreaToolTipRequest;
}
public BrushTabViewController(IHostResourceProvider hostResources)
: base(hostResources)
{
TabBorderColor = NamedResources.TabBorderColor;
TabBackgroundColor = NamedResources.PadBackgroundColor;
PreferredContentSize = new CGSize(450, 280);
TransitionOptions = NSViewControllerTransitionOptions.None;
ContentPadding = new NSEdgeInsets(8, 8, 8, 8);
this.filterResource = new NSSearchField {
ControlSize = NSControlSize.Mini,
Font = NSFont.SystemFontOfSize(NSFont.SystemFontSizeForControlSize(NSControlSize.Mini)),
PlaceholderString = Properties.Resources.SearchResourcesTitle,
};
this.filterResource.Changed += (sender, e) => {
ViewModel.ResourceSelector.FilterText = this.filterResource.Cell.Title;
this.resource.ReloadData();
};
this.filterResource.Hidden = true;
TabStack.AddView(this.filterResource, NSStackViewGravity.Leading);
}
public void ClearTabStack()
{
foreach (CodeFileDocumentControl cfdc in TabStack)
{
if (cfdc != debuggedPage)
{
if (OutputTextBoxs.ContainsKey(cfdc))
{
ClearTextBox(OutputTextBoxs[cfdc]);
}
}
}
OutputBoxStack.Clear();
TabStack.Clear();
}
bool VisualPascalABCPlugins.IWorkbenchDocumentService.ContainsTab(VisualPascalABCPlugins.ICodeFileDocument tab)
{
return(TabStack.Contains(tab as CodeFileDocumentControl));
}