mirror of
https://github.com/ilyakooo0/urbit.git
synced 2024-12-22 14:21:34 +03:00
c5b07f5203
By accumulating %txt events until we reach a more complex event or reach the end of the input buffer, we can significantly reduce the "overhead" of pasting text into the terminal. Instead of an event for each character, we now inject up to a buffer's worth of characters (currently, 123 bytes) at a time. This makes pasting process much faster. Incidentally, the behavior for pasting text with syntax errors into the dojo may be a little bit surprising: after every buffer boundary, the dojo will complain about the syntax error, moving the cursor to its location, and causing the remainder of the text to be inserted in that position. This may result in garbled-looking input in some cases. This ux problem should be resolved on dojo's end, perhaps by highlighting syntax errors with color, instead of the cursor. Alleviates most of the need for #5687. |
||
|---|---|---|
| .. | ||
| arvo | ||
| base-dev | ||
| bitcoin | ||
| btc-wallet | ||
| docker-image | ||
| ent | ||
| garden | ||
| garden-dev | ||
| grid | ||
| herb | ||
| hs | ||
| interface | ||
| landscape | ||
| npm | ||
| urbit | ||
| urcrypt | ||
| webterm | ||
| symbolic-merge.sh | ||