| .. |
|
arrow_divide.png
|
add scaled icons
|
2018-01-19 03:14:30 +01:00 |
|
arrow_divide24.png
|
even more scaled icons
|
2018-01-19 15:29:23 +01:00 |
|
arrow_divide32.png
|
add scaled icons
|
2018-01-19 03:14:30 +01:00 |
|
arrow_join.png
|
add scaled icons
|
2018-01-19 03:14:30 +01:00 |
|
arrow_join24.png
|
even more scaled icons
|
2018-01-19 15:29:23 +01:00 |
|
arrow_join32.png
|
add scaled icons
|
2018-01-19 03:14:30 +01:00 |
|
arrow_redo.png
|
…
|
|
|
arrow_redo24.png
|
even more scaled icons
|
2018-01-19 15:29:23 +01:00 |
|
arrow_redo32.png
|
add scaled icons
|
2018-01-19 03:14:30 +01:00 |
|
arrow_shoe.png
|
…
|
|
|
arrow_undo.png
|
…
|
|
|
arrow_undo24.png
|
even more scaled icons
|
2018-01-19 15:29:23 +01:00 |
|
arrow_undo32.png
|
add scaled icons
|
2018-01-19 03:14:30 +01:00 |
|
arrow_update.png
|
…
|
|
|
arrow_update24.png
|
even more scaled icons
|
2018-01-19 15:29:23 +01:00 |
|
arrow_update32.png
|
allow toolbar to autoselect the 24 or 32 px version of the icon
|
2018-01-18 21:53:41 +01:00 |
|
go_down.png
|
#97, fix handling of pause, handle stepping, handle gutter icons
|
2016-09-19 13:52:45 +02:00 |
|
go_down24.png
|
even more scaled icons
|
2018-01-19 15:29:23 +01:00 |
|
go_down32.png
|
add scaled icons
|
2018-01-19 03:14:30 +01:00 |
|
go_jump.png
|
#97, fix handling of pause, handle stepping, handle gutter icons
|
2016-09-19 13:52:45 +02:00 |
|
go_jump24.png
|
even more scaled icons
|
2018-01-19 15:29:23 +01:00 |
|
go_jump32.png
|
add scaled icons
|
2018-01-19 03:14:30 +01:00 |
|
go_next.png
|
add scaled icons
|
2018-01-19 03:14:30 +01:00 |
|
go_next24.png
|
even more scaled icons
|
2018-01-19 15:29:23 +01:00 |
|
go_next32.png
|
add scaled icons
|
2018-01-19 03:14:30 +01:00 |
|
go_previous.png
|
add scaled icons
|
2018-01-19 03:14:30 +01:00 |
|
go_previous24.png
|
even more scaled icons
|
2018-01-19 15:29:23 +01:00 |
|
go_previous32.png
|
add scaled icons
|
2018-01-19 03:14:30 +01:00 |
|
go_up.png
|
add scaled icons
|
2018-01-19 03:14:30 +01:00 |
|
go_up24.png
|
even more scaled icons
|
2018-01-19 15:29:23 +01:00 |
|
go_up32.png
|
add scaled icons
|
2018-01-19 03:14:30 +01:00 |
c6d913048b
