Jefferson González 69bccf6fcf docview: support gutter click selection, fixes #1116 (#1169) ... * docview: support gutter click selection, fixes #1116 * Added missing call to parent on_mouse_pressed Also fixed call to selections when `shift` is pressed. * change to arrow instead of hand Co-authored-by: Adam <adamdharrison@gmail.com>		2022-11-01 19:34:23 -04:00
..
colors	style: move default colors to its own style file	2022-06-02 19:20:54 -04:00
core	docview: support gutter click selection, fixes #1116 (#1169)	2022-11-01 19:34:23 -04:00
fonts	draw lite-xl icon in TitleView (#1143)	2022-10-10 11:05:30 -04:00
plugins	Fix `drawwhitespace` drawing lines with different substitution kinds	2022-10-30 02:54:30 +01:00