| .. |
|
arrow_divide.png
|
add scaled icons
|
2018-01-19 03:14:30 +01:00 |
|
arrow_divide24.png
|
add scaled icons
|
2018-01-19 03:14:30 +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
|
add scaled icons
|
2018-01-19 03:14:30 +01:00 |
|
arrow_join32.png
|
add scaled icons
|
2018-01-19 03:14:30 +01:00 |
|
arrow_pen.png
|
updated icons
|
2015-02-01 01:47:58 +01:00 |
|
arrow_redo.png
|
added shared icon system
|
2015-01-04 01:57:00 +01:00 |
|
arrow_redo24.png
|
add scaled icons
|
2018-01-19 03:14:30 +01:00 |
|
arrow_redo32.png
|
add scaled icons
|
2018-01-19 03:14:30 +01:00 |
|
arrow_shoe.png
|
updated shared icons
|
2015-05-22 16:23:15 +02:00 |
|
arrow_undo.png
|
added shared icon system
|
2015-01-04 01:57:00 +01:00 |
|
arrow_undo24.png
|
add scaled icons
|
2018-01-19 03:14:30 +01:00 |
|
arrow_undo32.png
|
add scaled icons
|
2018-01-19 03:14:30 +01:00 |
|
arrow_update.png
|
fix, typo in icon name
|
2015-01-04 18:31:21 +01:00 |
|
arrow_update24.png
|
add scaled icons
|
2018-01-19 03:14:30 +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
|
add scaled icons
|
2018-01-19 03:14:30 +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
|
add scaled icons
|
2018-01-19 03:14:30 +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
|
add scaled icons
|
2018-01-19 03:14:30 +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
|
add scaled icons
|
2018-01-19 03:14:30 +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
|
add scaled icons
|
2018-01-19 03:14:30 +01:00 |
|
go_up32.png
|
add scaled icons
|
2018-01-19 03:14:30 +01:00 |
731daa62ca
