ci_edit
ci_edit copied to clipboard
google
A terminal text editor with mouse support and ctrl+Q to quit.
Right now, if we have an an insertion as our last change, any further inserts will be concatenated to the same change. This has a couple of effects that I...
If you create a new line after a `(`, the next line will be indented 4 spaces. I think this should be referencing the indentation set in default_prefs.py, or perhaps...
I was thinking a **Realtime Code Sharing** _enhancement_ will let developers share their workspace with team members and collaborate on code in real time right from their command line /...
I was thinking that it is really weird if we actually scroll down/up by one entire page. I never thought about it but it comforts me and I know where...
One thing I did not address is how bookmarks can be deleted. While we have the command `bm-` to delete a bookmark, some editors make it so that you can...
This can be reproduced by the following steps: 1. Start a new document 2. Hold enter until you have enough lines to make the text buffer scroll up 3. Scroll...
Seems like a good feature, both for coding and note taking., since I use caps for some headers and terms. Maybe a nice blue? Although I think I said before,...
Could possibly do this with a background thread that polls for file permissions. * If a file is opened and the user has write permission and then the file's permissions...
Wasn't really sure how to title this, but consider this situation * Type out some string all on one line * Perform a carriage return * Type some more stuff...
If your cursor is at the beginning of a line (say line 4) and you perform SHIFT_UP to select previous lines, the created bookmark will include line 4. This means...