Open tjingboem opened 1 year ago
This is working for me on my Macbook Pro monitor; I will try on a double-wide monitor and see if I can reproduce it there. If not, I will try it on Linux to see if it is OS-specific. Which version of Java are you using @tjingboem ?
Java version is: openjdk 17.0.5 2022-10-18 OpenJDK Runtime Environment (build 17.0.5+8-Ubuntu-2ubuntu122.04) OpenJDK 64-Bit Server VM (build 17.0.5+8-Ubuntu-2ubuntu122.04, mixed mode, sharing)
When looking for a code snippet in the Code Editor, this is what happens:
https://user-images.githubusercontent.com/6670911/218194450-7971b162-f170-40e5-9c06-39ee78da9602.mp4