Next / Previous / Contents / Shipman's homepage

12.17. MenuBar.__helpFontSize()

# - - -   M e n u B a r . _ _ h e l p F o n t S i z e

    def __helpFontSize ( self ):
        """Help for changing font size.
        self.__dialog ( "Help: Changing the font size",
            "To change the size of the text, enter a number in the "
            "field labeled 'Size:'.  This number gives the font size "
            "in points.  You can also enter a negative number to "
            "specify a size in pixels.  After changing the size, "
            "either press the Enter key or click on the 'Set size' "
            "button. " )