Open potocpav opened 8 years ago
Cache the lines (BTree over line IDs?), request new lines using the render_lines API. screen position encoded by (f64,f64) for smooth scrolling. A scrollbar.
Working on it.
Cache the lines (BTree over line IDs?), request new lines using the render_lines API. screen position encoded by (f64,f64) for smooth scrolling. A scrollbar.