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 close_dlg(self):
StylePropertyPanel.close_dlg(self)
self.var_width = None
def __init__(self, master, main_window, doc):
StylePropertyPanel.__init__(self,
master,
main_window,
doc,
name='linedlg')
def close_dlg(self): StylePropertyPanel.close_dlg(self) self.top.DropAt = None
def __init__(self, master, main_window, doc): StylePropertyPanel.__init__(self, master, main_window, doc, name = 'filldlg')
def save_prefs(self):
StylePropertyPanel.save_prefs(self)
config.preferences.sample_text = self.sample.Text()
def close_dlg(self):
StylePropertyPanel.close_dlg(self)
self.var_width = None
def save_prefs(self): StylePropertyPanel.save_prefs(self) config.preferences.sample_text = self.sample_text.get()
def close_dlg(self):
StylePropertyPanel.close_dlg(self)
self.top.DropAt = None