Lines Matching refs:Font
32 from tkinter.font import Font, nametofont
730 """Retrieve a font from configuration (font, font-size, font-bold)
732 the actual font, factoring in some tweaks if needed for
738 to tkinter.Font
740 family = self.GetOption(configType, section, 'font', default='courier')
741 size = self.GetOption(configType, section, 'font-size', type='int',
743 bold = self.GetOption(configType, section, 'font-bold', default=0,
746 f = Font(name='TkFixedFont', exists=True, root=root)
747 actualFont = Font.actual(f)
751 size = 10 # if font in pixels, ignore actual size
