This class handles command line options.
This class handles configuration issues.
This class contains and processes all kinds of translations.
This class represents a key binding, consisting of a key code and modifiers like SHIFT, CTRL and so on.
This class handles key bindings.
This class handles the look and feel of the GUI.
This class is used to provide integers, associated with a name string.