editor: Hide mouse cursor also for movements and selections (#27677)

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`.
This commit is contained in:
Smit Barmase 2025-03-29 06:53:36 -07:00 committed by GitHub
parent 7fe6188f8e
commit 4970fe2d56
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
8 changed files with 264 additions and 44 deletions

View file

@ -116,6 +116,10 @@ pub fn migrate_settings(text: &str) -> Result<Option<String>> {
migrations::m_2025_01_30::SETTINGS_PATTERNS,
&SETTINGS_QUERY_2025_01_30,
),
(
migrations::m_2025_03_29::SETTINGS_PATTERNS,
&SETTINGS_QUERY_2025_03_29,
),
];
run_migrations(text, migrations)
}
@ -182,6 +186,10 @@ define_query!(
SETTINGS_QUERY_2025_01_30,
migrations::m_2025_01_30::SETTINGS_PATTERNS
);
define_query!(
SETTINGS_QUERY_2025_03_29,
migrations::m_2025_03_29::SETTINGS_PATTERNS
);
// custom query
static EDIT_PREDICTION_SETTINGS_MIGRATION_QUERY: LazyLock<Query> = LazyLock::new(|| {