fix aceTheme key, save editor size