Hi, What is the format of the preference file? Can't find anything in documentation. I need in particular to set ]BOXING 8 on every startup and probably some other options (turn off the colors for instance and define some helper functions).
-- Br, /Alexey
