Configuration file options
Note:
Usually a normal user doesn't need to touch this file manually; most
of these things can be tweaked easily with preferences dialog.
These options are used in kipinä configuration file, which is
/home/user/.kipina/config.