Rokojori
/
rojects
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

file-tree: focus existing panel if file already open; exclude pinned from available slots 

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
This commit is contained in:
Rokojori 2026-07-17 22:36:49 +02:00
parent 98729fc333
commit 9a7a1f2b82
1 changed files with 15 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
source/components/file-tree-panel/file-tree-panel.ts
View File

@ -118,6 +118,20 @@ class FileTreePanel extends HTMLElement {
if ( editorTag )
{
const containers = Array.from( document.querySelectorAll( 'tab-container' ) );
for ( const tc of containers )
{
const tabs = ( tc as any ).tabs as Array<{ id: string; element: HTMLElement }>;
for ( const tab of tabs )
{
if ( ( tab.element as any ).currentPath === path )
{
( tc as any ).activateTab( tab.id );
return;
}
}
}
let found: { panel: HTMLElement; tc: any; tabId: string } | null = null;
for ( const tc of containers )
@ -125,7 +139,7 @@ class FileTreePanel extends HTMLElement {
const tabs = ( tc as any ).tabs as Array<{ id: string; element: HTMLElement; dirty: boolean }>;
for ( const tab of tabs )
{
if ( tab.element.tagName.toLowerCase() === editorTag && !tab.dirty )
if ( tab.element.tagName.toLowerCase() === editorTag && !tab.dirty && !( tab.element as any )._pinned )
{
found = { panel: tab.element, tc, tabId: tab.id };
break;