I have read the posting as well as documentation on the functions involved. Do the functions you mention allow the change of the font size in the "MENU" that appears across the top of the main window? There does not seem to be a mention of the menu in the documentation. Thanks.
A problem is a problem only as long as it has a possible solution. Lacking that, it becomes a FACT!