def __init__(self, master, main_window, doc):
self.family_to_fonts = font.make_family_to_fonts()
self.families = self.family_to_fonts.keys()
self.families.sort()
StylePropertyPanel.__init__(self, master, main_window, doc,
name = 'fontdlg')
self.family_list.SetList(self.families)
index = self.families.index(self.font_family)
self.family_list.select_set(index)
self.family_list.yview(index)
def __init__(self, master, main_window, doc):
self.family_to_fonts = font.make_family_to_fonts()
self.families = self.family_to_fonts.keys()
self.families.sort()
StylePropertyPanel.__init__(self,
master,
main_window,
doc,
name='fontdlg')
self.family_list.SetList(self.families)
index = self.families.index(self.font_family)
self.family_list.select_set(index)
self.family_list.yview(index)
def __init__(self, master, main_window, doc):
StylePropertyPanel.__init__(self,
master,
main_window,
doc,
name='linedlg')
def __init__(self, master, main_window, doc): StylePropertyPanel.__init__(self, master, main_window, doc, name = 'filldlg')