| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
|
|
| |
* rename module (window -> winattrs, to avoid conflict with env/window)
* do not use result
* remove unused cell_ratio
|
|
|
|
| |
this was causing crashes
|
|
|
|
|
| |
We must decrease cursori by `len`, because exactly `len` bytes have
been deleted from before the cursor.
|
| |
|
| |
|
|
|
|
|
| |
The editor box never uses the last cell. However, it should still
overwrite it.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
The old lineedit system worked quite well in the original synchronous
model. However, because it needs access to the terminal, it has been
subtly broken ever since buffer updates are allowed while the user
is in line edit mode.
This is best observed in incremental search, where searching for a
bgcolor'ed text would result in the bgcolor bleeding into the line
editor box.
The new version is much simpler, and therefore less optimized. But
it can still take advantage of output optimization in the terminal
controller, and it is free of races (because we simply query the
current state from the pager and feed it into the main output grid).
|
|
* ips -> io/
* loader related stuff -> loader/
* tempfile -> extern/
* buffer, forkserver -> server/
* lineedit, window -> display/
* cell -> types/
* opt -> types/
|