diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2015-08-16 22:39:25 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2015-08-16 22:39:25 -0700 |
| commit | bf31512cd5ee4e7b1f3ce95427c35fe6acb4d4fa (patch) | |
| tree | 85e2bef9d55519cdd784e9a42df5f7277ceb8523 /update_github_page | |
| parent | df2c1409830d7fc5598f54fea0d728380851aa1c (diff) | |
| download | mu-bf31512cd5ee4e7b1f3ce95427c35fe6acb4d4fa.tar.gz | |
2025 - back to speeding up render
First step: drop the existing optimization of not redrawing after every character. Gives the editor a jumpy feel. I'm also hoisting the render into handle-keyboard event as a first step to duplicating it everywhere. One test temporarily failing: we're gonna sometimes forget to draw the line below editors.
Diffstat (limited to 'update_github_page')
0 files changed, 0 insertions, 0 deletions