MenuBar text size

[mwieder]

This is in a binary stack, so a pull request won't do, so...

in field MenuToolbarTextSize of stack revPreferencesGUI the code expects 14 buttons but there are only 13 now. In addition, this only affects the toolbar and not the text of the menuBar itself, which should IMO match. The fix for this:

remove the textSize property of the 13 menu buttons in the toolbar and change the code to read

on menuPick pItemName
set the cToolBarFontSize of stack "revPreferences" to pItemName
set the textSize of stack "revMenuBar" to pItemName
updateMenuToolBar
end menuPick

That way the entire menubar text is inherited, is updated at once, and you don't have to count the buttons.