”Do you have the “icons designer” view open anywhere in your UI?”
No, I don’t. I wasn’t even aware of its presence. Icon Designer is of no use to me. I am mainly a PHP programmer. Occasionally I write JavaScript and CSS code. Anyway if this is what is causing conflicts with my PHP shortcuts I would like to get rid of Icons Designer altogether. I looked through the list of available views and I a saw it listed here: Window -> Show view -> other -> Darkest Dark -> Icon Designer. Is there a way to uninstall Icons Designer without affecting Darkest Dark Theme?
Meanwhile I tried Darkest Dark installed in the Oxygen release (ver. 4.7.1a). The Ctrl+Shift+M shortcut fails to work there as well (I mean in PHP editor). Fortunately the IDE does not hang anymore.