3 people 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