Where are KDevelop's settings stored? Or more to the point, how can I transfer my KDevelop settings (highlighting colors, key bindings, etc) to another machine?

Here are the config locations:

For KDevelop 5.x:
~/.config/kdeveloprc (for settings)
~/.local/share/kdevelop (for session data)

For KDevelop 4.x:
$KDEHOME/share/config/kdeveloprc (for settings)
$KDEHOME/share/apps/kdevelop (for session data)

$KDEHOME is usually ~/.kde/

You should be able to reuse the kdeveloprc just fine.

Thanks, I've tried closing KDevelop, copying over both the settings and session data (to and from the appropriate respective locations), and starting KDevelop again, but unfortunately, that didn't restore any of the following (that I've noticed so far):

- Editor colors
- Key bindings
- Indentation style (size and tabs/spaces)
- 80-column marker

That last two should be easy enough to just manually fix through the UI, but it would be really nice to not have to re-configure the first two manually.

Right, for editor settings you also need copy these files:

KDevelop 5.x:
~/.config/katepartrc

KDevelop 4.x:
$KDEHOME/share/apps/kdevelop/katepartui.rc

Hmm, maybe the problem is just that I'm trying to move them from v4 to v5. v4's katepartui.rc and v5's katepartrc appear to be in completely different formats, and neither appears to include any syntax color information anyway.