Lines Matching refs:Font
3 Customize font faces, sizes, and colorization attributes. Set indentation
118 self.editFont = tkFont.Font(parent, ('courier', 10, 'normal'))
125 frame, borderwidth=2, relief=GROOVE, text=' Base Editor Font ')
132 frameFontName, justify=LEFT, text='Font Face :')
148 frameFontSample, justify=LEFT, font=self.editFont,
201 font=('courier', 12, ''), cursor='hand2', width=21, height=11,
514 '''When one font attribute changes, save them all, as they are
516 overriding the default font, we need to write out everything.
519 self.AddChangedItem('main', 'EditorWindow', 'font', value)
521 self.AddChangedItem('main', 'EditorWindow', 'font-size', value)
523 self.AddChangedItem('main', 'EditorWindow', 'font-bold', value)
889 font = self.listFontName.get(ANCHOR)
890 self.fontName.set(font.lower())
897 self.labelFontSample.config(font=newFont)
898 self.textHighlightSample.configure(font=newFont)
995 ##base editor font selection list
998 for font in fonts:
999 self.listFontName.insert(END, font)
1013 ##font size dropdown
1019 ##font sample
