Hi,
I was about to post the same problem! The ctrl button is somehow broken in inline search. It’s not just ctrl+backspace, ctrl+arrow keys (left or right) to jump between words also doesn’t work (it moves the cursor in the editor instead).
This is really a shame because inline search is a killer feature otherwise (which I have to turn off because accidentally deleting editor content really makes it unusable).
I might be wrong about this, but I think this used to work for me before I reinstalled DevStyle on Ubuntu 18.04 a few months ago…
Hope fixing this problem can be prioritised!
Thanks!