4 ms·
1. Support for traditional copy/paste shortcuts is problematic, since Ctrl-C is interpreted as the SIGINT signal. Copying via the mouse menu should work. Pastin
by apignotti 2y ago
1. Support for traditional copy/paste shortcuts is problematic, since Ctrl-C is interpreted as the SIGINT signal. Copying via the mouse menu should work. Pasting is supported via Ctrl+Shift+V.
2. We had these reported from several users and we will investigate as soon as we can: https://github.com/leaningtech/webvm/issues/102 https://github.com/leaningtech/webvm/issues/102
To answer you question: filesystem chunks are cached/persisted using a local IndexedDB. It provides a fairly strong level of persistence, although the user can wipe it out of course.
- pmontra 2y agoThanks for the reply. Copy&paste via menu works (I didn't think about it) and Ctrl+Shift+V works too. Ctrl+Shift+C opens Firefox's Developer Tools. It's difficult to find a reasonable shortcut.
- efreak 2y ago> it's difficult to find a reasonable shortcut I don't believe I've ever seen Ctrl+insert and shift+insert makes to anything _other_ than copy and paste.
- pmontra 2y agoIt works in GNOME Terminal on Linux too. I had no idea of that shortcut. Thanks. Why have everybody kept using Ctrl-Shift-C and Ctrl-Shift-V since forever included myself?