PKEuS 70ad457992 New Feature "Scratchpad" added to GUI. (#4166)

2012-10-20 20:14:52 +02:00

..

applications-development.png

GUI: Change Style-warnings icon.

2010-12-26 15:23:54 +02:00

applications-system.png

GUI: Add GUI for showing 'portability' warnings.

2010-12-27 11:06:31 +02:00

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

New Feature "Scratchpad" added to GUI. (#4166)

2012-10-20 20:14:52 +02:00

showerrors.png

…

showperformance.png

GUI: Add icons for warning/performance categories and add them to toolbar.

2010-10-18 21:35:35 +03:00

showstylewarnings.png

…

showwarnings.png

GUI: Add icons for warning/performance categories and add them to toolbar.

2010-10-18 21:35:35 +03:00

text-x-generic.png

…

utilities-system-monitor.png

GUI: Add icons for warning/performance categories and add them to toolbar.

2010-10-18 21:35:35 +03:00

view-refresh.png

…