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
At the moment if a query is being executed from an editor tab, mouse pointer is change in the editor. Also it is possible to find that the editor is busy by active "Stop" icon in the toolbar.
We can put details into status of editor. The details could include:
status of the connection - connected or not connect to a server
message that a query is being running
the query itself (obviously we can put only begining of the query it is long)
time for last run query
The text was updated successfully, but these errors were encountered:
At the moment if a query is being executed from an editor tab, mouse pointer is change in the editor. Also it is possible to find that the editor is busy by active "Stop" icon in the toolbar.
We can put details into status of editor. The details could include:
The text was updated successfully, but these errors were encountered: