Use pickling to store config values
Use pickling to store config values

The home-brew saving scheme did not work for booleans. Switch to
something designed for the job.

sandsmark/kate,jfmcarreira/kate,hlamer/kate,DickJ/kate,jfmcarreira/kate,hlamer/kate,sandsmark/kate,cmacq2/kate,sandsmark/kate,hlamer/kate,hlamer/kate,DickJ/kate,hlamer/kate,cmacq2/kate,hlamer/kate,cmacq2/kate,hlamer/kate,DickJ/kate,hlamer/kate,hlamer/kate,DickJ/kate,sandsmark/kate,hlamer/kate,jfmcarreira/kate