IDE: font size is changeable now