ui.tools.error-list: smaller default size
ui.tools.error-list: smaller default size
erg/factor,kingcons/factor,mcandre/factor,erg/factor,mcandre/factor,ceninan/factor,ceninan/factor,kingcons/factor,mcandre/factor,cataska/factor,mcandre/factor,erg/factor,erg/factor,mcandre/factor,kingcons/factor,cataska/factor,cataska/factor,kingcons/factor,erg/factor,mcandre/factor,cataska/factor,ceninan/factor,mcandre/factor,erg/factor,erg/factor,ceninan/factor