(self, *params)
Store changes to font attributes.

        When one font attribute changes, save them all, as they are
        not independent from each other. In particular, when we are
        overriding the default font, we need to write out everything.
Store changes to font attributes.
Store changes to font attributes .
def var_changed_font(self, *params):
        """Store changes to font attributes.

        When one font attribute changes, save them all, as they are
        not independent from each other. In particular, when we are
        overriding the default font, we need to write out everything.
        """
        value = self.font_name.get()
        changes.add_option('main', 'EditorWindow', 'font', value)
        value = self.font_size.get()
        changes.add_option('main', 'EditorWindow', 'font-size', value)
        value = self.font_bold.get()
        changes.add_option('main', 'EditorWindow', 'font-bold', value)
        self.set_samples()
def var_changed_font ( self , * params ) : value = self . font_name . get ( ) changes . add_option ( 'main' , 'EditorWindow' , 'font' , value ) value = self . font_size . get ( ) changes . add_option ( 'main' , 'EditorWindow' , 'font-size' , value ) value = self . font_bold . get ( ) changes . add_option ( 'main' , 'EditorWindow' , 'font-bold' , value ) self . set_samples ( )