From 08d292d3ea1a3933965aba19d9eeec6237859269 Mon Sep 17 00:00:00 2001 From: Brian Fiete Date: Tue, 22 Nov 2022 07:37:02 -0800 Subject: [PATCH] Pin tab menu tweak --- IDE/src/IDEApp.bf | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) diff --git a/IDE/src/IDEApp.bf b/IDE/src/IDEApp.bf index aa91bbd4..4a0fc2f0 100644 --- a/IDE/src/IDEApp.bf +++ b/IDE/src/IDEApp.bf @@ -6362,16 +6362,7 @@ namespace IDE Menu menu = new Menu(); if (var sourceViewPanel = mContent as SourceViewPanel) { - var item = menu.AddItem(this.mIsPinned ? "Unpin this tab" : "Pin this tab"); - item.mOnMenuItemSelected.Add(new (menu) => - { - if (mIsRightTab) - IDEApp.sApp.MakeTabPermanent(this); - - mTabbedView.TogglePinned(this); - }); - - item = menu.AddItem("Copy Full Path"); + var item = menu.AddItem("Copy Full Path"); item.mOnMenuItemSelected.Add(new (menu) => { gApp.SetClipboardText(sourceViewPanel.mFilePath); @@ -6409,6 +6400,15 @@ namespace IDE { mTabbedView.CloseTabs(false, true, false); }); + + item = menu.AddItem(this.mIsPinned ? "Unpin Tab" : "Pin Tab"); + item.mOnMenuItemSelected.Add(new (menu) => + { + if (mIsRightTab) + IDEApp.sApp.MakeTabPermanent(this); + + mTabbedView.TogglePinned(this); + }); } if (menu.mItems.Count > 0)