RODINELIB onto highlight and MLT at widget level implemented