They are saved to a separate file called ks.dat (which reads and writes much faster than the INI format). I currently do not see a point in adding any option here. It is unlikely that a user loads different sets of key-mappings because shortcuts are only useful when you can memorize them, and having alternative sets would defeat that.zridling wrote:I presume the keyboard shortcuts will be saved within the INI file? If not, and they are saved to a separate file, it'd be great to add that option to the dialog, too.
I did no forget that another user asked for an additional INI-based interface. This might be added later at any point.