directory /tools/editor/gui/icons/ @ 514:0cdc727f9f66

name size permissions
[up] drwxr-xr-x
file add_instance.png 361 -rw-r--r--
file add_layer.png 833 -rw-r--r--
file close_map.png 1650 -rw-r--r--
file cycle_styles.png 1646 -rw-r--r--
file delete_layer.png 535 -rw-r--r--
file edit.png 959 -rw-r--r--
file erase_instance.png 339 -rw-r--r--
file help.png 858 -rw-r--r--
file import_dir.png 679 -rw-r--r--
file import_file.png 948 -rw-r--r--
file is_visible.png 831 -rw-r--r--
file load_map.png 1483 -rw-r--r--
file map_wizard.png 397 -rw-r--r--
file move_instance.png 1075 -rw-r--r--
file new_map.png 1253 -rw-r--r--
file next_branch.png 1592 -rw-r--r--
file objectpicker.png 317 -rw-r--r--
file previous_branch.png 1588 -rw-r--r--
file quit.png 1235 -rw-r--r--
file redo.png 1033 -rw-r--r--
file rotate_clockwise.png 1318 -rw-r--r--
file rotate_countercw.png 1438 -rw-r--r--
file save_allmaps.png 1201 -rw-r--r--
file save_map.png 1263 -rw-r--r--
file save_mapas.png 1493 -rw-r--r--
file select_instance.png 719 -rw-r--r--
file take_screenshot.png 1271 -rw-r--r--
file undo.png 980 -rw-r--r--
file zoom_default.png 1556 -rw-r--r--
file zoom_in.png 1581 -rw-r--r--
file zoom_out.png 1506 -rw-r--r--