Lines Matching refs:Font
27 from tkFont import Font, nametofont
701 """Retrieve a font from configuration (font, font-size, font-bold)
703 the actual font, factoring in some tweaks if needed for
709 to tkinter.Font
711 family = self.GetOption(configType, section, 'font', default='courier')
712 size = self.GetOption(configType, section, 'font-size', type='int',
714 bold = self.GetOption(configType, section, 'font-bold', default=0,
720 f = Font(name='TkFixedFont', exists=True, root=root)
721 actualFont = Font.actual(f)
725 size = 10 # if font in pixels, ignore actual size
