def on_setting_changed(self, settings, key): if key == "font": self.override_font(meldsettings.font) elif key == "style-scheme": self.highlight_color = colour_lookup_with_fallback("meld:current-line-highlight", "background") self.syncpoint_color = colour_lookup_with_fallback("meld:syncpoint-outline", "foreground") self.fill_colors, self.line_colors = get_common_theme() tag = self.get_buffer().get_tag_table().lookup("inline") tag.props.background_rgba = colour_lookup_with_fallback("meld:inline", "background") tag = self.get_buffer().get_tag_table().lookup("dimmed") tag.props.foreground_rgba = colour_lookup_with_fallback("meld:dimmed", "foreground")
def on_setting_changed(self, settings, key): if key == 'font': self.override_font(meldsettings.font) elif key == 'style-scheme': self.highlight_color = colour_lookup_with_fallback( "meld:current-line-highlight", "background") self.syncpoint_color = colour_lookup_with_fallback( "meld:syncpoint-outline", "foreground") self.fill_colors, self.line_colors = get_common_theme() tag = self.get_buffer().get_tag_table().lookup("inline") tag.props.background_rgba = colour_lookup_with_fallback( "meld:inline", "background")