aboutsummaryrefslogtreecommitdiff
path: root/plugins/minimap.lua
AgeCommit message (Expand)Author
2022-10-25minimap: check docview has minimap scrolljgmdev
2022-10-25minimap: fixed small mistakejgmdev
2022-10-25Minimap Rework with Scrollbar (#134)Adam
2022-06-15`minimap`: align rects to pixel gridGuldoman
2022-06-14`minimap`: handle more cache invalidation casesGuldoman
2022-06-13`minimap`: don't crash with colors with invalid alphaGuldoman
2022-06-13`minimap`: fix cutoff offsetGuldoman
2022-06-11`minimap`: correctly manage inserted/removed linesGuldoman
2022-06-09`minimap`: performance improvements (cache, merge, avoid splitting)Guldoman
2022-06-09`minimap`: allow per-`DocView` toggle even if globally disabledGuldoman
2022-06-07changed indentation to 2 spaces for consistency across the repojgmdev
2022-06-07`minimap`: Add per-`DocView` toggle and option to hide on small docs (#96)Guldoman
2022-05-31removed lite-xl version and left only mod versionjgmdev
2022-05-24added config_spec and other plugin compatibility fixes.jgmdev
2022-05-22minimap: simplify predicate since Object:is is now strictjgmdev
2022-05-22minimap: fix to work with lite-xl#916Guldoman
2022-05-22Appropriately merged config hashes.Adam Harrison
2022-05-22Bumping versions.Adam Harrison
2022-03-18minimap: don't show on non DocView'sjgmdev
2021-11-27Allow customization of minimap selection & caret colors.Joshua Minor
2021-11-27Highlight the cursor and selection in minimap.Joshua Minor
2021-11-27Don't select text when dragging in the minimap.Joshua Minor
2021-11-27config.plugins.minimap.highlight_alignJoshua Minor
2021-11-27Switch to MiniMap:line_highlight_color()Joshua Minor
2021-11-27Minimap supports per-line highlight colors, with adjustable gutter_width and ...Joshua Minor
2021-09-11make minimap displace DocViewcukmekerb
2021-08-28bump minimap version tagcukmekerb
2021-08-17Namespaced plugin configs.Adam Harrison
2021-07-05minimap plugin no longer crashes lite-xl and now renders tab indentationcukmekerb
2021-06-12Minimap plugin; this is expected in editors these days.Adam Harrison