PKEuS 6dcb918b78 GUI: Implemented "Recheck all files" button (#3614), renamed "Recheck files" button to "Recheck modified files" (#3624)		2015-10-14 19:07:20 +02:00
..
applications-development.png	…
applications-system.png	…
dialog-error.png	…
dialog-information.png	…
dialog-warning.png	…
edit-clear.png	…
go-down.png	…
go-home.png	…
go-next.png	…
go-previous.png	…
help-browser.png	…
media-floppy.png	…
openproject.png	…
preferences-system.png	…
process-stop.png	…
scratchpad.png	…
showerrors.png	…
showperformance.png	…
showstylewarnings.png	…
showwarnings.png	…
text-x-generic.png	…
utilities-system-monitor.png	…
view-recheck.png	…
view-refresh.png	…