mirror of
https://github.com/nix-community/nixvim.git
synced 2025-06-22 08:53:28 +02:00
plugins/instant: switch to settings option
This commit is contained in:
parent
51765fedbe
commit
4023b25e66
2 changed files with 63 additions and 49 deletions
|
@ -12,75 +12,87 @@ with helpers.vim-plugin;
|
|||
originalName = "instant.nvim";
|
||||
defaultPackage = pkgs.vimPlugins.instant-nvim;
|
||||
globalPrefix = "instant_";
|
||||
|
||||
# TODO introduced 2024-03-02: remove 2024-05-02
|
||||
deprecateExtraConfig = true;
|
||||
optionsRenamedToSettings = [
|
||||
"username"
|
||||
"onlyCwd"
|
||||
"cursorHlGroupUser1"
|
||||
"cursorHlGroupUser2"
|
||||
"cursorHlGroupUser3"
|
||||
"cursorHlGroupUser4"
|
||||
"cursorHlGroupDefault"
|
||||
"nameHlGroupUser1"
|
||||
"nameHlGroupUser2"
|
||||
"nameHlGroupUser3"
|
||||
"nameHlGroupUser4"
|
||||
"nameHlGroupDefault"
|
||||
];
|
||||
|
||||
options = let
|
||||
mkStr = global: default: desc:
|
||||
mkDefaultOpt {
|
||||
inherit global;
|
||||
type = types.str;
|
||||
description = ''
|
||||
${desc}
|
||||
|
||||
Default: ${default}
|
||||
'';
|
||||
};
|
||||
in {
|
||||
username = mkDefaultOpt {
|
||||
type = types.str;
|
||||
description = ''
|
||||
settingsOptions = {
|
||||
username = helpers.mkNullOrStr ''
|
||||
Username.
|
||||
Explicitly set to `null` if you do not want this option to be set.
|
||||
'';
|
||||
};
|
||||
|
||||
onlyCwd = mkDefaultOpt {
|
||||
type = types.bool;
|
||||
description = ''
|
||||
only_cwd = helpers.defaultNullOpts.mkBool true ''
|
||||
Choose whether to share files only in the current working directory in session mode.
|
||||
|
||||
Default: `true`
|
||||
'';
|
||||
};
|
||||
|
||||
cursorHlGroupUser1 = mkStr "cursor_hl_group_user_1" "Cursor" ''
|
||||
cursor_hl_group_user1 = helpers.defaultNullOpts.mkStr "Cursor" ''
|
||||
Cursor highlight group for user 1.
|
||||
'';
|
||||
|
||||
cursorHlGroupUser2 = mkStr "cursor_hl_group_user_2" "Cursor" ''
|
||||
cursor_hl_group_user2 = helpers.defaultNullOpts.mkStr "Cursor" ''
|
||||
Cursor highlight group for user 2.
|
||||
'';
|
||||
|
||||
cursorHlGroupUser3 = mkStr "cursor_hl_group_user_3" "Cursor" ''
|
||||
cursor_hl_group_user3 = helpers.defaultNullOpts.mkStr "Cursor" ''
|
||||
Cursor highlight group for user 3.
|
||||
'';
|
||||
|
||||
cursorHlGroupUser4 = mkStr "cursor_hl_group_user_4" "Cursor" ''
|
||||
cursor_hl_group_user4 = helpers.defaultNullOpts.mkStr "Cursor" ''
|
||||
Cursor highlight group for user 4.
|
||||
'';
|
||||
|
||||
cursorHlGroupDefault = mkStr "cursor_hl_group_default" "Cursor" ''
|
||||
cursor_hl_group_default = helpers.defaultNullOpts.mkStr "Cursor" ''
|
||||
Cursor highlight group for any other userr.
|
||||
'';
|
||||
|
||||
nameHlGroupUser1 = mkStr "name_hl_group_user_1" "CursorLineNr" ''
|
||||
name_hl_group_user1 = helpers.defaultNullOpts.mkStr "CursorLineNr" ''
|
||||
Virtual text highlight group for user 1.
|
||||
'';
|
||||
|
||||
nameHlGroupUser2 = mkStr "name_hl_group_user_2" "CursorLineNr" ''
|
||||
name_hl_group_user2 = helpers.defaultNullOpts.mkStr "CursorLineNr" ''
|
||||
Virtual text highlight group for user 2.
|
||||
'';
|
||||
|
||||
nameHlGroupUser3 = mkStr "name_hl_group_user_3" "CursorLineNr" ''
|
||||
name_hl_group_user3 = helpers.defaultNullOpts.mkStr "CursorLineNr" ''
|
||||
Virtual text highlight group for user 3.
|
||||
'';
|
||||
|
||||
nameHlGroupUser4 = mkStr "name_hl_group_user_4" "CursorLineNr" ''
|
||||
name_hl_group_user4 = helpers.defaultNullOpts.mkStr "CursorLineNr" ''
|
||||
Virtual text highlight group for user 4.
|
||||
'';
|
||||
|
||||
nameHlGroupDefault = mkStr "name_hl_group_default" "CursorLineNr" ''
|
||||
name_hl_group_default = helpers.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";
|
||||
};
|
||||
}
|
||||
|
|
|
@ -10,18 +10,20 @@
|
|||
plugins.instant = {
|
||||
enable = true;
|
||||
|
||||
settings = {
|
||||
username = "Joe";
|
||||
onlyCwd = true;
|
||||
cursorHlGroupUser1 = "Cursor";
|
||||
cursorHlGroupUser2 = "Cursor";
|
||||
cursorHlGroupUser3 = "Cursor";
|
||||
cursorHlGroupUser4 = "Cursor";
|
||||
cursorHlGroupDefault = "Cursor";
|
||||
nameHlGroupUser1 = "CursorLineNr";
|
||||
nameHlGroupUser2 = "CursorLineNr";
|
||||
nameHlGroupUser3 = "CursorLineNr";
|
||||
nameHlGroupUser4 = "CursorLineNr";
|
||||
nameHlGroupDefault = "CursorLineNr";
|
||||
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";
|
||||
};
|
||||
};
|
||||
};
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue