Extern/Beef
1
0
Fork 0
mirror of https://github.com/beefytech/Beef.git synced 2025-06-20 00:50:25 +02:00
Code Activity

Separate Close Panel and Close Document

Browse source
This commit is contained in:
Brian Fiete 2020-09-28 05:56:09 -07:00
parent 077ebe2659
commit da508156c1
3 changed files with 50 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

47
IDE/src/IDEApp.bf
View file

@ -5065,6 +5065,11 @@ namespace IDE
menu.SetDisabled(GetActiveDocumentPanel() == null);
}
public void UpdateMenuItem_HasLastActiveDocument(IMenu menu)
{
menu.SetDisabled(GetLastActiveDocumentPanel() == null);
}
public void UpdateMenuItem_HasWorkspace(IMenu menu)
{
menu.SetDisabled(!gApp.mWorkspace.IsInitialized);
@ -5377,7 +5382,8 @@ namespace IDE
//////////
mWindowMenu = root.AddMenuItem("&Window");
AddMenuItem(mWindowMenu, "&Close", "Close Panel", new => UpdateMenuItem_HasActivePanel);
AddMenuItem(mWindowMenu, "&Close Document", "Close Document", new => UpdateMenuItem_HasLastActiveDocument);
AddMenuItem(mWindowMenu, "Close &Panel", "Close Panel", new => UpdateMenuItem_HasActivePanel);
AddMenuItem(mWindowMenu, "&Close All", "Close All Panels");
AddMenuItem(mWindowMenu, "Close All Except Current", "Close All Panels Except");
AddMenuItem(mWindowMenu, "&New View into File", "View New", new => UpdateMenuItem_HasActiveDocument);
@ -5587,6 +5593,24 @@ namespace IDE
return activePanel;
return null;
}
public Widget GetLastActiveDocumentPanel()
{
var activePanel = GetActiveDocumentPanel();
if (activePanel != null)
return activePanel;
if (mActiveDocumentsTabbedView != null)
{
let activeTab = mActiveDocumentsTabbedView.GetActiveTab();
if (activeTab != null)
{
var lastActivePanel = activeTab.mContent;
if ((lastActivePanel is SourceViewPanel) || (lastActivePanel is DisassemblyPanel))
return lastActivePanel;
}
}
return null;
}
public void WithTabs(delegate void(TabbedView.TabButton) func)
{
@ -6514,7 +6538,7 @@ namespace IDE
void TryCloseCurrentDocument()
{
var activeDocumentPanel = GetActiveDocumentPanel();
var activeDocumentPanel = GetLastActiveDocumentPanel();
if (activeDocumentPanel != null)
{
if (activeDocumentPanel is SourceViewPanel)
@ -6524,13 +6548,28 @@ namespace IDE
return;
}
CloseDocument(activeDocumentPanel);
return;
}
}
void TryCloseCurrentPanel()
{
var activeDocumentPanel = GetActiveDocumentPanel();
if (activeDocumentPanel != null)
{
if (activeDocumentPanel is SourceViewPanel)
{
var sourceViewPanel = (SourceViewPanel)activeDocumentPanel;
DocumentCloseClicked(sourceViewPanel);
return;
}
CloseDocument(activeDocumentPanel);
return;
}
var activePanel = GetActivePanel();
if (activePanel != null)
CloseDocument(activePanel);
}
}
void TryCloseAllDocuments(bool closeCurrent)
{