Skip to content

update; if pio terminal (mon or cli) perviously created, then before re-open, reassign its display_name with the new orig-window#47

Open
batoaqaa wants to merge 1053 commits intoanurag3301:mainfrom
batoaqaa:main
Open

update; if pio terminal (mon or cli) perviously created, then before re-open, reassign its display_name with the new orig-window#47
batoaqaa wants to merge 1053 commits intoanurag3301:mainfrom
batoaqaa:main

Conversation

@batoaqaa
Copy link
Copy Markdown
Contributor

update;
if pio terminal (piomon or piocli) previously created, then before re-open again after hidden, reassign its display_name orig-window to the window it was opened from.

no need to reassign on_close() as it was assigned at the terminal (piocli or piomon) creation.

@dhupee
Copy link
Copy Markdown
Contributor

dhupee commented Apr 3, 2026

btw, we have agreed not to merge any new feature commits before #60 is actually sorted out first, no?

just asking

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants