Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Improve the behavior for task tab #6822

Open
RomanNikitenko opened this issue Jan 4, 2020 · 0 comments
Open

Improve the behavior for task tab #6822

RomanNikitenko opened this issue Jan 4, 2020 · 0 comments
Labels
enhancement issues that are enhancements to current functionality - nice to haves tasks issues related to the task system

Comments

@RomanNikitenko
Copy link
Contributor

RomanNikitenko commented Jan 4, 2020 •
edited
Loading

Description

For some cases tab of a task displays label details.
Please see the video: https://youtu.be/bL1aIkB2ens

If I understand correctly label details is used for editor tab when two tabs are open with the same title and label details contains the path to the corresponding file.
editor-tab

But for a task tab it looks like a double title.
task-tab

Reproduction Steps

  1. Run tsc : watch - tsconfig.json vscode-builtin-extensions task, for example
  2. Restart the task.

Please see the video: https://youtu.be/bL1aIkB2ens

OS and Theia version:
Ubuntu 18.04
Theia ec2a866
@RomanNikitenko RomanNikitenko added enhancement issues that are enhancements to current functionality - nice to haves tasks issues related to the task system labels Jan 4, 2020
@azatsarynnyy azatsarynnyy mentioned this issue Jan 8, 2020
Closed
8 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement issues that are enhancements to current functionality - nice to haves tasks issues related to the task system
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@RomanNikitenko