rxi
|
bcd1b3a081
|
Fixed gutter text jittering when horizontal scrolling on docview
|
2020-05-14 10:06:47 +01:00 |
|
rxi
|
70f62f3c8a
|
Added `doc:rename` command; changed command_view:set_text to take `select` argument
|
2020-05-09 16:09:07 +01:00 |
|
rxi
|
95bdb07d49
|
Removed unused variables
|
2020-05-07 22:40:34 +01:00 |
|
rxi
|
885ed5f860
|
Improved handling of zero-sized locked nodes on RootView
|
2020-05-01 16:17:07 +01:00 |
|
rxi
|
592c16f3e0
|
Fixed rounding of CommandView suggestion popup box
|
2020-04-22 19:25:47 +01:00 |
|
rxi
|
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 |
|
rxi
|
d8c4bfa6ba
|
Initial commit
|
2019-12-28 11:17:56 +00:00 |