Open fyudanov opened 2 years ago
@fyudanov thank you for reporting the issue, can you provide additional details on how to consistently reproduce the issue?
The problem seems to be inherited from VSCode, where it's also reproducible.
Given that you were able to reproduce the issue it is likely a problem with the monaco editor which is what we and vscode use. In order to get the fix it might be worthwhile to report an issue there (which ultimately asks you to report the issue to vscode instead).
@fyudanov thank you for reporting the issue, can you provide additional details on how to consistently reproduce the issue?
The problem seems to be inherited from VSCode, where it's also reproducible.
Given that you were able to reproduce the issue it is likely a problem with the monaco editor which is what we and vscode use. In order to get the fix it might be worthwhile to report an issue there (which ultimately asks you to report the issue to vscode instead).
Added some more details to reproduce to the issue description.
@fyudanov thank you for providing details, I believe it works as expected? The hover details should be merged together:
@vince-fugnitto I didn't notice this before, thanks for help.
Still I suppose, the blinking behavior (like it's shown in gif in the issue description) can be considered as a problem (probably minor one), because it can be confusing to the user, affecting UX in result.
@fyudanov I wasn't able to reproduce the issue you experienced unfortunately, but given you were also able to reproduce it in vscode I believe an issue should be filed there, the fix would be to properly handle it at the monaco-editor level.
You can also play around with this preference, to control the delay editor.hover.delay
.
In case of problem message and code hint tooltip both available on the same line, the warning message is sometimes blinking, making it very difficult to read. There are workarounds to use Problems view or find the message iterating with "Go to Next Problem", but still the issues causes bad user experience in result.
The problem seems to be inherited from VSCode, where it's also reproducible.
Details to reproduce consistently:
Plugins installed on Theia:
Set
python.linting.pylintEnabled
setting to trueOpen new python file, type e.g:
print(time.time())