Skip to content

Conversation

@OpeOginni
Copy link
Contributor

What does this PR do?

Closes #8080
Allows for better dynamic terminal numbering, by storing the titleNumbers of previous terminals, and using this in a set to determine the next number. Preventing duplicates.

How did you verify your code works?

Tested on dev environment

Screen.Recording.2026-01-12.at.23.23.41.mov

@github-actions
Copy link
Contributor

The following comment was made by an LLM, it may be inaccurate:

No duplicate PRs found

@adamdotdevin adamdotdevin merged commit 1a5a638 into anomalyco:dev Jan 12, 2026
4 of 6 checks passed
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.

Duplicate Terminal Title on Desktop

2 participants