Settings window

[Jinmo]

• Select theme
• Manage custom palettes?
• Open config.json
• demangle or not

Maybe IDC/python script editor would be good, too.