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.

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

Widget drag-drop fails over Output widget #10932

Closed
colin-grant-work opened this issue Mar 25, 2022 · 0 comments · Fixed by #11275
Closed

Widget drag-drop fails over Output widget #10932

colin-grant-work opened this issue Mar 25, 2022 · 0 comments · Fixed by #11275
Labels
output issues related to the output shell issues related to the core shell

Comments

@colin-grant-work
Copy link
Contributor

Bug Description:

Steps to Reproduce:

  1. Open both main and bottom panels and open an editor in the main panel.
  2. Open the output widget in the bottom panel.
  3. Try to drag and drop the editor's tab into the middle of the output widget.
  4. Observe that there is no styling to indicate droppability

Additional Information

  • Operating System: MacOS (Chrome)
  • Theia Version: master (b1bd7bd)
@colin-grant-work colin-grant-work added shell issues related to the core shell output issues related to the output labels Mar 25, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
output issues related to the output shell issues related to the core shell
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant