edgedb-cli icon indicating copy to clipboard operation
edgedb-cli copied to clipboard

Published 20 hours ago • verified publisher icon edgedb

Display LogMessage messages received from server

Open tailhook opened this issue 5 years ago • 2 comments

tailhook avatar Mar 24 '20 09:03 tailhook

How do you want to implement this? I see two options:

  1. real time, as messages are received they are displayed, even if the user is typing a query.
  2. deferred -- we display received async messages when the user is presented with the results of the last query.

1st1 avatar May 21 '20 20:05 1st1

I want this realtime, but we need a patch for rustyline for that. Perhaps https://github.com/kkawakam/rustyline/pull/235 but it's very fragile in current impl.

tailhook avatar May 22 '20 13:05 tailhook