eclipse-jdt / eclipse-jdt/eclipse.jdt.ui
Javadoc tooltips cannot be resized
Open
- Dominant language
- Java
- Stars
- 59
- Forks
- 127
- Avg merge
- 22h 47m
- Merged PRs (30d)
- 28
Description
I tried to increate the Javadoc popup but it only got smaller. Now I cannot increase its size anymore.
Restarting remembers this tiny size.
Eclipse SDK
Version: 2022-12 (4.26)
Build id: I20220907-1800
OS: Linux, v.5.15.0-47-generic, x86_64 / gtk 3.24.33, WebKit 2.36.6
Java vendor: Eclipse Adoptium
Java runtime version: 17.0.3+7
Java version: 17.0.3
Maybe a GTK issue but I'm unable to use Eclipse. Anyone knows where the size of the Javadoc popup is persisted?
Contributor guide
Assessment
This issue has not been assessed yet.