Index of /CompLangs/Isabelle2023/contrib/jedit-20211103/jedit5.6.0-patched/jEdit/org/gjt/sp/jedit/icons/themes/tango/22x22/actions
Parent Directory
application-run-again.png
application-run.png
bookmark-new.png
copy-to-buffer.png
document-close.png
document-new.png
document-open.png
document-print-preview.png
document-print.png
document-properties.png
document-reload.png
document-reload2.png
document-save-all.png
document-save-as.png
document-save.png
edit-clear.png
edit-copy.png
edit-cut.png
edit-delete.png
edit-find-highlight-match.png
edit-find-in-folder.png
edit-find-multiple.png
edit-find-next.png
edit-find-normal-match.png
edit-find-replace.png
edit-find-single.png
edit-find.png
edit-paste.png
edit-redo.png
edit-undo.png
folder-new.png
go-bottom.png
go-down.png
go-first.png
go-home.png
go-jump.png
go-last.png
go-next.png
go-parent.png
go-previous.png
go-top.png
go-up.png
list-add.png
list-remove.png
media-eject.png
media-playback-pause.png
media-playback-start.png
media-playback-stop.png
media-record.png
media-seek-backward.png
media-seek-forward.png
media-skip-backward.png
media-skip-forward.png
printer-setup.png
process-stop.png
resize-horisontal.png
resize-vertical.png
run-to-buffer.png
system-log-out.png
system-search.png
view-fullscreen.png
view-refresh.png
window-new.png
window-split-horizontal.png
window-split-vertical.png
window-unsplit.png
zoom-in.png
zoom-out.png