e5b91e8 overrides: fix type mismatch in terminal shortcut override

Authored and Committed by decathorpe 5 years ago
    overrides: fix type mismatch in terminal shortcut override