12 Commits

Author	SHA1	Message	Date
Basile Burg	bc581493de	fix few cases of wrong icon size	2018-01-20 01:03:26 +01:00
Basile Burg	0365d29e90	icon scaling: DUB prj editor, messages	2018-01-19 19:38:14 +01:00
Basile Burg	c6d913048b	even more scaled icons	2018-01-19 15:29:23 +01:00
Basile Burg	731daa62ca	add scaled icons	2018-01-19 03:14:30 +01:00
Basile Burg	886418413f	allow toolbar to autoselect the 24 or 32 px version of the icon	2018-01-18 21:53:41 +01:00
Basile Burg	38d8673f37	#97, fix handling of pause, handle stepping, handle gutter icons	2016-09-19 13:52:45 +02:00
Basile Burg	2a5d916d0c	fixup for cf3987b2ac, missing icons	2016-08-21 08:06:03 +02:00
Basile Burg	ec7dd3b0d5	replaces mov page icons	2015-12-10 02:23:11 +01:00
Basile Burg	fa06a116ab	updated shared icons	2015-05-22 16:23:15 +02:00
Basile Burg	fc69c42d5d	updated icons	2015-02-01 01:47:58 +01:00
Basile Burg	97ddb7dd5f	fix, typo in icon name	2015-01-04 18:31:21 +01:00
Basile Burg	d8bd4ad9ec	added shared icon system	2015-01-04 01:57:00 +01:00