Blaž Hrastnik
|
8b3e152126
|
cleanup: Make Buffer just a part of State.
|
2020-09-07 11:28:52 +09:00 |
|
Blaž Hrastnik
|
579b6899f1
|
Work on insert mode.
|
2020-09-07 11:21:26 +09:00 |
|
Blaž Hrastnik
|
0d56ce9296
|
Bump deps, make it compile with latest smol.
|
2020-09-04 18:18:40 +09:00 |
|
Blaž Hrastnik
|
29f1be91a2
|
Fix clippy lints.
|
2020-08-11 23:22:34 +09:00 |
|
Blaž Hrastnik
|
4733afa6c2
|
Update dependencies.
smol 0.3 makes setup a whole lot easier.
|
2020-08-11 23:19:23 +09:00 |
|
Jan Hrastnik
|
8681d47292
|
remove unused import
|
2020-06-24 21:03:38 +02:00 |
|
Jan Hrastnik
|
6ba082697d
|
added cursor rendering
|
2020-06-24 20:59:35 +02:00 |
|
Jan Hrastnik
|
c3a23a1c09
|
file now rendered line by line
|
2020-06-23 19:10:09 +02:00 |
|
Jan Hrastnik
|
e93b15cef3
|
created view struct
|
2020-06-19 02:14:29 +02:00 |
|
Jan Hrastnik
|
8958f06f08
|
added file rendering
|
2020-06-16 22:46:27 +02:00 |
|
Blaž Hrastnik
|
8119f1ec3d
|
Refactor editor module to use state + keymap.
|
2020-06-16 18:00:34 +09:00 |
|
Jan Hrastnik
|
065cbcee9e
|
fixed async loop
|
2020-06-16 17:42:34 +09:00 |
|
Jan Hrastnik
|
2985398adc
|
loop is now async
|
2020-06-16 17:42:34 +09:00 |
|
Jan Hrastnik
|
19643446cd
|
editor.rs now uses crossterm
|
2020-06-16 17:42:32 +09:00 |
|
Blaž Hrastnik
|
f8fe273a2e
|
Fix build.
|
2020-06-08 00:41:37 +09:00 |
|
Blaž Hrastnik
|
843c20a550
|
Add a keymap module.
|
2020-06-08 00:28:17 +09:00 |
|
Blaž Hrastnik
|
387fb57c94
|
Allow unused code for the time being.
|
2020-06-02 10:59:02 +09:00 |
|
Blaž Hrastnik
|
57c2046070
|
Drop tui.
|
2020-06-02 10:47:26 +09:00 |
|
Blaž Hrastnik
|
c17045ed07
|
Fixup Surface
|
2020-06-02 10:44:44 +09:00 |
|
Blaž Hrastnik
|
613d06dfb0
|
wip: importing to github
|
2020-06-01 17:42:28 +09:00 |
|
Blaž Hrastnik
|
6905ff03c2
|
Start swapping from termwiz to crossterm + async.
|
2020-05-28 17:47:35 +09:00 |
|
Blaž Hrastnik
|
44ff4d3c1f
|
Implement a new core based on CodeMirror.
|
2020-05-25 13:02:21 +09:00 |
|
Blaž Hrastnik
|
240e5f4e3d
|
Initial import.
|
2020-05-20 18:14:51 +09:00 |
|