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 task sidebar added in #958 refreshes on deno.json save by querying the server, but this happens too early. The server hasn't updated it's deno.json store yet. We need a custom server-to-client notification for config file changes.
The text was updated successfully, but these errors were encountered:
The task sidebar added in #958 refreshes on
deno.json
save by querying the server, but this happens too early. The server hasn't updated it'sdeno.json
store yet. We need a custom server-to-client notification for config file changes.The text was updated successfully, but these errors were encountered: