mirror of
https://github.com/nix-community/nixvim.git
synced 2025-11-21 17:59:41 +01:00
80 lines
2.3 KiB
Nix
80 lines
2.3 KiB
Nix
{
|
|
lib,
|
|
...
|
|
}:
|
|
with lib;
|
|
with lib.nixvim.plugins;
|
|
mkVimPlugin {
|
|
name = "instant";
|
|
package = "instant-nvim";
|
|
globalPrefix = "instant_";
|
|
description = "A Neovim plugin for collaborative editing.";
|
|
|
|
maintainers = [ maintainers.GaetanLepage ];
|
|
|
|
settingsOptions = {
|
|
username = lib.nixvim.mkNullOrStr ''
|
|
Username.
|
|
Explicitly set to `null` if you do not want this option to be set.
|
|
'';
|
|
|
|
only_cwd = lib.nixvim.defaultNullOpts.mkBool true ''
|
|
Choose whether to share files only in the current working directory in session mode.
|
|
'';
|
|
|
|
cursor_hl_group_user1 = lib.nixvim.defaultNullOpts.mkStr "Cursor" ''
|
|
Cursor highlight group for user 1.
|
|
'';
|
|
|
|
cursor_hl_group_user2 = lib.nixvim.defaultNullOpts.mkStr "Cursor" ''
|
|
Cursor highlight group for user 2.
|
|
'';
|
|
|
|
cursor_hl_group_user3 = lib.nixvim.defaultNullOpts.mkStr "Cursor" ''
|
|
Cursor highlight group for user 3.
|
|
'';
|
|
|
|
cursor_hl_group_user4 = lib.nixvim.defaultNullOpts.mkStr "Cursor" ''
|
|
Cursor highlight group for user 4.
|
|
'';
|
|
|
|
cursor_hl_group_default = lib.nixvim.defaultNullOpts.mkStr "Cursor" ''
|
|
Cursor highlight group for any other userr.
|
|
'';
|
|
|
|
name_hl_group_user1 = lib.nixvim.defaultNullOpts.mkStr "CursorLineNr" ''
|
|
Virtual text highlight group for user 1.
|
|
'';
|
|
|
|
name_hl_group_user2 = lib.nixvim.defaultNullOpts.mkStr "CursorLineNr" ''
|
|
Virtual text highlight group for user 2.
|
|
'';
|
|
|
|
name_hl_group_user3 = lib.nixvim.defaultNullOpts.mkStr "CursorLineNr" ''
|
|
Virtual text highlight group for user 3.
|
|
'';
|
|
|
|
name_hl_group_user4 = lib.nixvim.defaultNullOpts.mkStr "CursorLineNr" ''
|
|
Virtual text highlight group for user 4.
|
|
'';
|
|
|
|
name_hl_group_default = lib.nixvim.defaultNullOpts.mkStr "CursorLineNr" ''
|
|
Virtual text highlight group for any other user.
|
|
'';
|
|
};
|
|
|
|
settingsExample = {
|
|
username = "Joe";
|
|
onlyCwd = true;
|
|
cursor_hl_group_user1 = "Cursor";
|
|
cursor_hl_group_user2 = "Cursor";
|
|
cursor_hl_group_user3 = "Cursor";
|
|
cursor_hl_group_user4 = "Cursor";
|
|
cursor_hl_group_default = "Cursor";
|
|
name_hl_group_user1 = "CursorLineNr";
|
|
name_hl_group_user2 = "CursorLineNr";
|
|
name_hl_group_user3 = "CursorLineNr";
|
|
name_hl_group_user4 = "CursorLineNr";
|
|
name_hl_group_default = "CursorLineNr";
|
|
};
|
|
}
|