Morten M. Neergaard
Morten M. Neergaard
This closes issue #156
1. Handle page up / down for scrolling terminal history 2. Handle repeat keypresses, so e.g. holding pgdn will scroll 3. _input is passed a single event, so we save...
With this, we can distinguish "save" from "close" This fixes issue #160
If you do e.g. `vim foo` and edit a file, then save, it works as expected. If you try to dismiss the changes using the `X` button, however, the file...
I have another piece of software that binds to port 1234. That breaks the "fake-editor" script. A solution might be to bind to port 0, which gives you a random...
Binding to global ports using TCP_Server.listen is really dangerous. E.g. the `fake_editor` stuff will allow any remote host to overwrite any local file at will. Binds should be made to...
It would be very nice if the terminal could support colors, for colored status/diff/branch.
If you start a sandbox, and maybe in the game generally, the terminal window feels undersized. I wish you could hide the message area in order to get a much...
## Describe the feature Currently, if an email is sent to an unroutable address, the email is deferred (421). I get that this can be helpful when first configuring a...
This will allow e.g. binding to port 0 and then getting the effective port afterwards. Cherry-picked with no errors from 4.0, as I saw the feature was available there. (cherry...