-
Notifications
You must be signed in to change notification settings - Fork 2.5k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
attaching the same task repeatedly should not open multiple terminals #7407
Comments
elaihau
changed the title
same task should not be attached multiple times
attaching the same task should not open multiple terminals
Mar 23, 2020
elaihau
changed the title
attaching the same task should not open multiple terminals
attaching the same task repeatedly should not open multiple terminals
Mar 23, 2020
I believe what we could do is setting focus to the terminal widget where that attached task is running, and messaging the user. |
1 task
elaihau
added a commit
that referenced
this issue
Mar 30, 2020
- Same task can be attached over and over again, producing multiple terminal widgets. With this change, Theia sets focus to the teminal widget that the to-be-attached task is running from. If such terminal widget is not found, Theia creates a new terminal widget for the attached task. - fixes #7407 Signed-off-by: Liang Huang <lhuang4@ualberta.ca>
1 task
elaihau
added a commit
that referenced
this issue
Apr 1, 2020
- Same task can be attached over and over again, producing multiple terminal widgets. With this change, Theia sets focus to the teminal widget that the to-be-attached task is running from. If such terminal widget is not found, Theia creates a new terminal widget for the attached task. - fixes #7407 Signed-off-by: Liang Huang <lhuang4@ualberta.ca>
elaihau
added a commit
that referenced
this issue
Apr 1, 2020
- Same task can be attached over and over again, producing multiple terminal widgets. With this change, Theia sets focus to the teminal widget that the to-be-attached task is running from. If such terminal widget is not found, Theia creates a new terminal widget for the attached task. - fixes #7407 Signed-off-by: Liang Huang <lhuang4@ualberta.ca>
elaihau
added a commit
that referenced
this issue
Apr 2, 2020
- Same task can be attached over and over again, producing multiple terminal widgets. With this change, Theia sets focus to the teminal widget that the to-be-attached task is running from. If such terminal widget is not found, Theia creates a new terminal widget for the attached task. - fixes #7407 Signed-off-by: Liang Huang <lhuang4@ualberta.ca>
elaihau
added a commit
that referenced
this issue
Apr 4, 2020
- Same task can be attached over and over again, producing multiple terminal widgets. With this change, Theia sets focus to the teminal widget that the to-be-attached task is running from. If such terminal widget is not found, Theia creates a new terminal widget for the attached task. - fixes #7407 Signed-off-by: Liang Huang <lhuang4@ualberta.ca>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Description
Same task can be attached over and over again, producing multiple terminal widgets.
Since we disallow running identical tasks in parallel (#5269), we should not open more than one terminal widget when the same task is attached for a second time.
Reproduction Steps
Terminal -> Attach Task
from the browser opened in Step 2.OS and Theia version:
Ubuntu 18.04. Chrome, example browser.
version 9d59a4e
The text was updated successfully, but these errors were encountered: