Closed
Description
openedon Jan 12, 2023
Some extensions create "special" terminals, one way of differentiating them is explicitly setting a title but then that replaces the standard title. What if instead a variable was controlled by an extension which would then default beside the task/local variables as they're similar:
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
