Hello Klugier,

Quote:

would personally simplify editor menu. Too many options there is not good option and might be misleading. So I opt for moving "Search on Google" and "Search on the official site.." to "Search on menu"

OK.


Quote:

however we should use regular TheIDE serialization procedures (binary) and bump settings version

I was hesitant to add a Serialize method (not to disrupt TheIDE's config settings), but this sounds OK to me. Still, I'd prefer an external file in human-readble form (Json seems very good to me. besides it can allow us to easily change/add new stuff if need be).

p.s: Speaking of consistency, I think TheIDE's toolbar should have an Icon for "Settings" menu entry.