Media keys

Parlatype’s basic functions can be controlled with so called media keys. Media keys are used system wide to control media players and they are working even if the media player is not in focus or in the background.

You can change the media keys in GNOME settings. You can use dedicated keys from a multimedia keyboard or use any other key or combination of keys.

This will affect other media players, e.g. Totem or Rhythmbox, as well.

Parlatype listens to these key strokes:

Play, Pause, Stop: Each of these keys toggles between playing and pause.
Rewind, Previous: Each of these keys will jump back the time you selected in Preferences.
Fast Forward, Next: Each of these keys will jump ahead the time you selected in Preferences.

For detailed instructions how to change keyboard shortcuts in GNOME see the official documentation.

If you are using a dedicated foot pedal, it should be possible to map the foot pedal signals to any of the keys. This is not well tested, however. Any feedback regarding foot pedals is welcome.