diff options
| author | Juan Manuel Tomás <jtomas1815@gmail.com> | 2020-06-22 05:44:38 -0300 |
|---|---|---|
| committer | Juan Manuel Tomás <jtomas1815@gmail.com> | 2020-06-22 05:44:38 -0300 |
| commit | c835a9729091445bb68c5d376a8b8fd7a379cb32 (patch) | |
| tree | 4474942404c2891adc9330e4f883b6131e68866a /todo.txt | |
| parent | 19644585485799d19bf98035c8b2b2b1ab402c5f (diff) | |
| download | jet-c835a9729091445bb68c5d376a8b8fd7a379cb32.tar.gz jet-c835a9729091445bb68c5d376a8b8fd7a379cb32.zip | |
Redraw page once per unicode character inserted
Diffstat (limited to 'todo.txt')
| -rw-r--r-- | todo.txt | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -1,3 +1 @@ * free page correctly after no points point to it -* add utf-8 support on push and pop -* fix pop |