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
The characters don't get deleted properly, and too much space is used before and after them. Seems like a unicode handling bug. This is particularly annoying if a tool uses those characters to print progress updates in a terminal, which drives it crazy and gets them stuck all over the place until the terminal is hidden and open again:
(Slightly off-topic, but how often are you using the terminal for Flutter here? I think those characters are used for flutter run but we'd expect people to use Start Debugging rather than using the embedded terminal to run?)
You'll miss out on things like debugging, hot-reload-on-save, inspect widget and other stuff from the terminal :-)
But if there are things you use the terminal for that don't have equivs built-in, do let me know. For ex., I don't think we have a Clean command, but hopefully we've got all the common things covered.
(I can't offer any help for this bug though, seems to be entirely the built-in terminal and unrelated to the extensions or Flutter).
Steps to Reproduce:
The characters don't get deleted properly, and too much space is used before and after them. Seems like a unicode handling bug. This is particularly annoying if a tool uses those characters to print progress updates in a terminal, which drives it crazy and gets them stuck all over the place until the terminal is hidden and open again:
/cc @DanTup FYI
The text was updated successfully, but these errors were encountered: