The workaround is to select Window/ Preferences…/ General/ Appearance/ Colors and Fonts/ Basic/ Text font . Then press the Change button, select the current fontsize (10), press Ok, and then Ok again to store this setting for the current Workspace. After this action it stays nicely on the selected font. You can ofcourse select a different font size/shape if you want to 😉
A fix is ‘expected’ in a next update or release, no ETA yet 🙁
HTH
Ton