Rider/Push-To-Hint: support double press + holding Ctrl

GitOrigin-RevId: ac1da1599de24497ca3b98bfe1c3a84d1ed0eb6e

platform/editor-ui-api/api-dump.txt

@@ -1842,6 +1842,7 @@ com.intellij.openapi.editor.EditorSettings
 - a:isWhitespacesShown():Z
 - a:isWrapWhenTypingReachesRightMargin(com.intellij.openapi.project.Project):Z
 - a:resetCamelWords():V
+- a:resetWheelFontChangeEnabled():V
 - a:setAdditionalColumnsCount(I):V
 - a:setAdditionalLinesCount(I):V
 - a:setAdditionalPageAtBottom(Z):V

platform/editor-ui-api/src/com/intellij/openapi/editor/EditorSettings.java

@@ -154,6 +154,7 @@ public interface EditorSettings {
 
   boolean isWheelFontChangeEnabled();
   void setWheelFontChangeEnabled(boolean val);
+  void resetWheelFontChangeEnabled();
 
   boolean isMouseClickSelectionHonorsCamelWords();
   void setMouseClickSelectionHonorsCamelWords(boolean val);

platform/platform-impl/src/com/intellij/openapi/editor/impl/SettingsImpl.kt

@@ -511,6 +511,10 @@ class SettingsImpl internal constructor(private val editor: EditorImpl?, kind: E
     state.myIsWheelFontChangeEnabled = `val`
   }
 
+  override fun resetWheelFontChangeEnabled() {
+    state.clearOverriding(state::myIsWheelFontChangeEnabled)
+  }
+
   override fun isMouseClickSelectionHonorsCamelWords(): Boolean {
     return state.myIsMouseClickSelectionHonorsCamelWords
   }