diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2015-07-06 15:55:30 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2015-07-06 15:55:30 -0700 |
commit | 82fb173feb455b248c490836e0a073b5459700cb (patch) | |
tree | bd612e834bb8170ad3e6c6ba3d2fd58a9b52fa30 /arc/.traces/default-space-closure-with-names | |
parent | 53983d1a7ee26456306e084dcef6843853e403f0 (diff) | |
download | mu-82fb173feb455b248c490836e0a073b5459700cb.tar.gz |
1715 - slightly more responsive
Don't render all the editors on every single keystroke, render just the one that was modified. This will also be useful for our next step: heterogeneous editor widgets responsible for their areas of screen and doing their own rendering and responding to events.
Diffstat (limited to 'arc/.traces/default-space-closure-with-names')
0 files changed, 0 insertions, 0 deletions