Searched refs:editFont (Results 1 – 3 of 3) sorted by relevance
30 public static final Font editFont = new Font("Helvetica",Font.PLAIN,14); field in DemoUtility
208 patternText.setFont(DemoUtility.editFont); in buildGUI()532 text.setFont(DemoUtility.editFont); in CalendarRec()
118 self.editFont = tkFont.Font(parent, ('courier', 10, 'normal'))148 frameFontSample, justify=LEFT, font=self.editFont,