When hovering over a variable it should be possible to retrieve its latest version from the server.
Actual Behavior
Due to a much-needed optimization introduced in #1065, the variables fetched from the server are cached in Local storage in the browser. They are cleared quite frequently e.g. on every script host output but sometimes it's necessary to monitor them more closely.
The goal of the improvement is to implement the ability to ignore the cache and always use the latest version from the server when the user presses the Ctrl key before hovering over a variable.
AdamNaj
commented
4 months ago
Expected Behavior
When hovering over a variable it should be possible to retrieve its latest version from the server.
Actual Behavior
Due to a much-needed optimization introduced in #1065, the variables fetched from the server are cached in Local storage in the browser. They are cleared quite frequently e.g. on every script host output but sometimes it's necessary to monitor them more closely.
The goal of the improvement is to implement the ability to ignore the cache and always use the latest version from the server when the user presses the Ctrl key before hovering over a variable.