PHPStorm 2017.3 still double-shift not working :-(
The issue of double-shift to bring up search everywhere not working prevails in 2017.3. Hitting double shift brings up the windows but the search field is not focused forcing me to reach for the mouse.
Running Ubuntu 17.10.
PhpStorm 2017.3
Build #PS-173.3727.138, built on November 28, 2017
Licensed to Tangix Design and Development AB / Mattias Sandstrom
Subscription is active until May 28, 2018
JRE: 1.8.0_152-release-991-b1 amd64
JVM: OpenJDK 64-Bit Server VM by JetBrains s.r.o
Linux 4.13.0-17-generic
Please sign in to leave a comment.
Yup, it's still not addressed. Please see https://intellij-support.jetbrains.com/hc/en-us/community/posts/115000555664-Search-Everywhere-sometimes-does-not-have-cursor-focus
It's truly annoying. Really feel like downgrading because of this.
I can't be looking for my mouse in the middle of coding.