lw_common.ui.note_ctrl.set_current_line C# (CSharp) Method

        public void set_current_line(line l) {
            set_current_line_impl(l);
            // for some extremely strange reason, we need to refresh the notes
            // otherwise, they would be shown as gray
            refresh_notes();
        }