…
..
blank.gif	…
icon_file.png	…
icon_folder.png	…
icon_gear.png	…
icon_goto.png	…
icon_indenting.png	…
icon_invisibles.png	…
icon_numbering.png	…
icon_replace.png	…