3008835e39
add ability to hide gutter
2020-10-30 18:26:46 +01:00
094cf0cc2c
Fixed shift+click select behavior
2020-06-26 10:44:56 +01:00
53d555b362
Added support for mouse double/triple click+drag selection
...
Resolves #159
Resolves #161
2020-06-25 13:41:46 +01:00
ef53453246
Fixed x-offset of text in `DocView:draw_line_gutter`
2020-05-14 13:26:21 +01:00
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
Michal Wysokinski
rxi