waveterm/wavesrv/db
Mike Sawka b136c915df
Restart command (#253)
* working on cmd restart logic

* button to restart command

* bind Cmd-R to restart selected command, and Cmd-Shift-R to restart last command.  Browser Refresh is now Option-R.  also fix 'clear' command to not delete running commands (like archive).  some small changes to keyboard utility code to always set 'alt' and 'meta' appropriately.  use 'cmd' and 'option' for crossplatform bindings

* focus restarted line

* update termopts, use current winsize to set termopts for new command

* add cmd.restartts to track restart time

* display restarted time in line w/ tooltip with original time

* add restartts to line:show
2024-01-26 16:25:21 -08:00
..
migrations Restart command (#253) 2024-01-26 16:25:21 -08:00
db.go add license notice (#37) 2023-10-16 21:31:13 -07:00
schema.sql ssh config import (#156) 2023-12-28 11:09:41 -08:00