Luke aka SwissalpS cfcd8af373 Fix #1538 log scrolls automatically (the real PR) (#1546) ... * fix #1538 log scrolls automatically adds: - when user scrolls, position is kept no matter how many new entries arrive - when user scrolls up to last entry, autoscroll is enabled again does not add buttons to jump up/down see #1538 * move scroll-test out of on_mouse_wheel * determine diff_index with loop * remove check at move_towards yoffset * use while loop instead of repeat loop * remove meaningless setter * remove stray var		2023-06-28 03:05:03 +02:00
..
colors	style: move default colors to its own style file	2022-06-02 19:20:54 -04:00
core	Fix #1538 log scrolls automatically (the real PR) (#1546)	2023-06-28 03:05:03 +02:00
fonts	draw lite-xl icon in TitleView (#1143)	2022-10-10 11:05:30 -04:00
plugins	Mark `linewrapping` `open_files` table as weak	2023-05-24 04:23:27 +02:00