User's Guide

Hot keys can be set by selecting one of three key entries; depression of Ctrl + Alt + Shift
keys or two successive depressions of Ctrl key or Scroll Lock keys.
This allows the user to avoid using a specific key sequence used in another application as the
hot key. Thus, the hot key can be utilized more effectively.