an option to disable hiding mouse cursor on typing in editor (IDEA-93637)

platform/platform-impl/src/com/intellij/openapi/editor/impl/EditorImpl.java

@@ -2034,7 +2034,10 @@ public final class EditorImpl extends UserDataHolderBase implements EditorEx, Hi
       restoreCaretRelativePosition();
     }
 
-    if (!myIsViewer && EMPTY_CURSOR != null && EMPTY_CURSOR != myEditorComponent.getCursor()) {
+    if (!myIsViewer &&
+        !SystemInfo.isMac && // Mac case is handled separately (see ide.mac.hide.cursor.when.typing registry key)
+         Registry.is("ide.hide.cursor.when.typing") &&
+        EMPTY_CURSOR != null && EMPTY_CURSOR != myEditorComponent.getCursor()) {
       myEditorComponent.setCursor(EMPTY_CURSOR);
     }
   }

platform/util/resources/misc/registry.properties

@@ -191,6 +191,8 @@ ide.mac.alt.mnemonic.without.ctrl=true
 ide.mac.alt.mnemonic.without.ctrl.description=Processes Alt-based shortcuts for mnemonics in addition to Ctrl+Alt-based shortcuts. Affect MacOS only.
 
 ide.mac.fix.dialog.showing=false
+ide.hide.cursor.when.typing=true
+ide.hide.cursor.when.typing.description=Hides mouse cursor when typing in an editor (on Windows and Linux)
 ide.mac.hide.cursor.when.typing=true
 ide.mac.show.native.help=true
 ide.mac.useNativeClipboard=false