Method set_selected

remi/gui.py:3912–3914

(self, selected)

        self.selected = False

    def set_selected(self, selected):
        self.selected = selected
        self.label.css_font_weight = 'bold' if self.selected else 'normal'

    @decorate_set_on_listener("(self, emitter)")
    @decorate_event