Fix #1124: migrate font size only when it is the default font size
Fix #1124: migrate font size only when it is the default font size

fingeronthebutton/RIDE,robotframework/RIDE,HelioGuilherme66/RIDE,caio2k/RIDE,robotframework/RIDE,fingeronthebutton/RIDE,caio2k/RIDE,caio2k/RIDE,HelioGuilherme66/RIDE,HelioGuilherme66/RIDE,fingeronthebutton/RIDE,robotframework/RIDE,HelioGuilherme66/RIDE,robotframework/RIDE