You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
In the Theia extension, there was a hover system that (among other things) displayed data in different formats. That should be reimplemented in the VSCode plugin.
The text was updated successfully, but these errors were encountered:
Should we also add another setting users could use to specify the format of the memory data column? We are happy to look into that as an addition to the hover. What do you think?
Should we also add another setting users could use to specify the format of the memory data column? We are happy to look into that as an addition to the hover. What do you think?
This sounds sensible. Could be a setting per window with a default format in the extension settings.
I've extracted the requirement to switch the format for the entire memory data into an own issue (#118). Thus, unless you disagree @gbodeen, we can close this issue.
In the Theia extension, there was a hover system that (among other things) displayed data in different formats. That should be reimplemented in the VSCode plugin.
The text was updated successfully, but these errors were encountered: