Smit Barmase
4970fe2d56
This enables hiding mouse cursor even on cursor movements like up, down, etc. or selections made using keyboard, etc. Renamed existing boolean setting "hide_mouse_while_typing" to "hide_mouse". It can have three values: `on_typing_and_movement`, `on_typing`, `never`. Release Notes: - Now mouse cursor hides even when you navigate, or make selections using keyboard in editor. This behavior can be changed by setting `hide_mouse` to `on_typing_and_movement`, `on_typing` or `never`.
42 lines
1.0 KiB
Rust
42 lines
1.0 KiB
Rust
pub const SETTINGS_ROOT_KEY_VALUE_PATTERN: &str = r#"(document
|
|
(object
|
|
(pair
|
|
key: (string (string_content) @name)
|
|
value: (_) @value
|
|
)
|
|
)
|
|
)"#;
|
|
|
|
pub const SETTINGS_NESTED_KEY_VALUE_PATTERN: &str = r#"(document
|
|
(object
|
|
(pair
|
|
key: (string (string_content) @parent_key)
|
|
value: (object
|
|
(pair
|
|
key: (string (string_content) @setting_name)
|
|
value: (_) @setting_value
|
|
)
|
|
)
|
|
)
|
|
)
|
|
)"#;
|
|
|
|
pub const SETTINGS_LANGUAGES_PATTERN: &str = r#"(document
|
|
(object
|
|
(pair
|
|
key: (string (string_content) @languages)
|
|
value: (object
|
|
(pair
|
|
key: (string)
|
|
value: (object
|
|
(pair
|
|
key: (string (string_content) @setting_name)
|
|
value: (_) @value
|
|
)
|
|
)
|
|
))
|
|
)
|
|
)
|
|
(#eq? @languages "languages")
|
|
)"#;
|