added some editor themes;
font-size & theme can be configured by user;
font-size/theme and window dimension/position can be saved automatically
and restored while starting up next time;