ab19bfe7_hpStorm_9_0_0_Help____Terminal__Description
[Item] Override IDE shortcuts [Description] 
If this check box is selected (this is the default setting), the Terminal tool window handles keyboard shortcuts differently from PhpStorm. If this check box is cleared, the PhpStorm key bindings are used.
PhpStorm 9.0.0 Help :: Terminal