plugins.instant.settings
The configuration options for instant without the instant_
prefix.
Example: To set instant_foo_bar
to 1
, write
settings = {
foo_bar = true;
};
Type: attribute set of anything
Default:
{ }
Example:
{
cursor_hl_group_default = "Cursor";
cursor_hl_group_user1 = "Cursor";
cursor_hl_group_user2 = "Cursor";
cursor_hl_group_user3 = "Cursor";
cursor_hl_group_user4 = "Cursor";
name_hl_group_default = "CursorLineNr";
name_hl_group_user1 = "CursorLineNr";
name_hl_group_user2 = "CursorLineNr";
name_hl_group_user3 = "CursorLineNr";
name_hl_group_user4 = "CursorLineNr";
onlyCwd = true;
username = "Joe";
}
Declared by:
plugins.instant.settings.cursor_hl_group_default
Cursor highlight group for any other userr.
Type: null or string or raw lua code
Default:
null
Plugin default: "Cursor"
Declared by:
plugins.instant.settings.cursor_hl_group_user1
Cursor highlight group for user 1.
Type: null or string or raw lua code
Default:
null
Plugin default: "Cursor"
Declared by:
plugins.instant.settings.cursor_hl_group_user2
Cursor highlight group for user 2.
Type: null or string or raw lua code
Default:
null
Plugin default: "Cursor"
Declared by:
plugins.instant.settings.cursor_hl_group_user3
Cursor highlight group for user 3.
Type: null or string or raw lua code
Default:
null
Plugin default: "Cursor"
Declared by:
plugins.instant.settings.cursor_hl_group_user4
Cursor highlight group for user 4.
Type: null or string or raw lua code
Default:
null
Plugin default: "Cursor"
Declared by:
plugins.instant.settings.name_hl_group_default
Virtual text highlight group for any other user.
Type: null or string or raw lua code
Default:
null
Plugin default: "CursorLineNr"
Declared by:
plugins.instant.settings.name_hl_group_user1
Virtual text highlight group for user 1.
Type: null or string or raw lua code
Default:
null
Plugin default: "CursorLineNr"
Declared by:
plugins.instant.settings.name_hl_group_user2
Virtual text highlight group for user 2.
Type: null or string or raw lua code
Default:
null
Plugin default: "CursorLineNr"
Declared by:
plugins.instant.settings.name_hl_group_user3
Virtual text highlight group for user 3.
Type: null or string or raw lua code
Default:
null
Plugin default: "CursorLineNr"
Declared by:
plugins.instant.settings.name_hl_group_user4
Virtual text highlight group for user 4.
Type: null or string or raw lua code
Default:
null
Plugin default: "CursorLineNr"
Declared by:
plugins.instant.settings.only_cwd
Choose whether to share files only in the current working directory in session mode.
Type: null or boolean or raw lua code
Default:
null
Plugin default: true
Declared by:
plugins.instant.settings.username
Username.
Explicitly set to null
if you do not want this option to be set.
Type: null or string or raw lua code
Default:
null
Declared by: