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

Docking settings widget to the left sidebar produces empty hover element #13005

Closed
martin-fleck-at opened this issue Oct 17, 2023 · 0 comments · Fixed by #13945
Closed

Docking settings widget to the left sidebar produces empty hover element #13005

martin-fleck-at opened this issue Oct 17, 2023 · 0 comments · Fixed by #13945
Labels
preferences issues related to preferences
Milestone
1.52.0

Comments

@martin-fleck-at
Copy link
Contributor

Bug Description:

When docking the Settings widget to the left sidebar and then hovering over the icon, we get an empty tooltip because the caption property is not set. I suggest that we avoid showing empty tooltips altogether and may even fix the caption property for the settings widget in the process.

Steps to Reproduce:

  1. Dock Settings widget to the left sidebar
  2. Hover over icon
  3. See empty tooltip

Additional Information

  • Operating System: Ubuntu
  • Theia Version: master
@msujew msujew added the preferences issues related to preferences label Oct 26, 2023
@haydar-metin haydar-metin mentioned this issue Jul 23, 2024
Merged
1 task
@sgraband sgraband added this to the 1.52.0 milestone Jul 25, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
preferences issues related to preferences
Projects
None yet
Milestone
1.52.0
Development

Successfully merging a pull request may close this issue.

Prevent the rendering of the tab bar tooltip if no caption is provided haydar-metin/theia
3 participants
@msujew @martin-fleck-at @sgraband