Basile Burg 38d8673f37 #97, fix handling of pause, handle stepping, handle gutter icons		2016-09-19 13:52:45 +02:00
..
arrow_divide.png	…
arrow_down.png	…
arrow_join.png	…
arrow_pen.png	…
arrow_redo.png	…
arrow_shoe.png	…
arrow_undo.png	…
arrow_up.png	…
arrow_update.png	…
go_down.png	…
go_jump.png	…
go_next.png	…
go_previous.png	…