Save editor settings

[adriengivry]

Currently we have some editors settings. These settings aren't saved through overload sessions. We should automatically save them to a .ini file and recover them on startup.