bcd1b3a081
Fixed gutter text jittering when horizontal scrolling on docview
2020-05-14 10:06:47 +01:00
e4ae088bb5
Added support for shift+click selecting
...
Resolves #71
Resolves #59
2020-05-13 16:12:20 +01:00
1f55fec94b
Fixed triple-clicking on last line not selecting the line
2020-05-13 09:29:53 +01:00
95bdb07d49
Removed unused variables
2020-05-07 22:40:34 +01:00
f5025efbb8
Moved highlighter code from `DocView` to `Doc`
...
* Only one highlighter state is kept per-document as opposed
to one per-docview
* Fixes a bug with retaining older highlighter state as a
DocView wasn't able to detect lines changing above it's viewport
* Renames `highlighter` module to more descriptive `tokenizer`
2020-05-07 21:14:46 +01:00
9fc185af2f
Added scroll bounds
...
Resolves #9
Resolves #6
Resolves #3
2020-05-02 00:21:04 +01:00
503d5101b5
Reorganising of DocView's draw functions
...
* Renamed `draw_line_body` => `draw_line_main`
* Renamed `draw_gutter_text` => `draw_line_gutter`
* Added `draw_line_text` for *just* the line text
2020-04-18 15:27:18 +01:00
33ad329f24
Changed DocView not to strip trailing `\n` character on line's final token
2020-02-05 20:09:58 +00:00
d8c4bfa6ba
Initial commit
2019-12-28 11:17:56 +00:00
rxi