feat(bookmarks): add bookmark feature (#1412)

This commit is contained in:
Kiyan
2022-07-11 10:00:12 +02:00
committed by GitHub
parent 0fa2ec1950
commit df92f1527f
8 changed files with 109 additions and 9 deletions

View File

@@ -53,6 +53,8 @@ local function get_hl_groups()
WindowPicker = { gui = "bold", fg = "#ededed", bg = "#4493c8" },
LiveFilterPrefix = { gui = "bold", fg = colors.purple },
LiveFilterValue = { gui = "bold", fg = "#fff" },
Bookmark = { fg = colors.green },
}
end