Smit Barmase 4970fe2d56 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`.		2025-03-29 19:23:36 +05:30
..
keymap.rs	migrator: Add versioned migrations (#26215)	2025-03-06 23:04:48 +05:30
settings.rs	editor: Hide mouse cursor also for movements and selections (#27677)	2025-03-29 19:23:36 +05:30