changing the font size interactively doesn't work
Changing the font size interactively (using Edit/Font) doesn't work. After changing the font all the object and message boxes in the patch look empty.
(Loading patches in different font sizes seems to work all right, though.)