When the Raquel Teaching Tool runs on version 8.6 of Tcl/Tk, on Ubuntu Linux 14.04 LTS, the font-size used in in the Editor, OK/Error, and Result frames is much larger, less presentable, and not in keeping with the menu font-size. Other version combinations of Tcl/Tk and Ubuntu Linux provide the intended font-size of text in these frames, which is consistent with that used in the menus and looks presentable.
The menu font-size should be made the default font-size used in all the frames for all versions of Tcl/Tk and Linux.
Additionally a further option should be added to the Options menu to allow the user to alter the font size used in the Editor, OK/Error, and/or Result frames.
Diff:
Diff:
Diff: