6 Commits

Author	SHA1	Message	Date
Edward Chernenko	4384bd550a	optipng run: ./utils/woptipng.py -d 15 images/ ... It has been a while since the last optipng run (it was in 2015), and many non-optimized PNG files have accumulated in the repository. 288 of 1666 files optimized, 258992 bytes reduced to 156258 bytes; -102734 bytes, -39.66% To avoid unnecessarily increasing the size of Git repository for minor size reductions, we skip images that weren't reduced by at least 15%.	2019-01-02 19:26:48 +02:00
Charles Dang	692502f441	GUI1: fixed scrollbar layout ... Re-adding the pre-GUI2 redesign scrollbar images so GUI1's scrollbars show correctly.	2016-04-09 01:12:56 +11:00
Charles Dang	9cc4834070	GUI2: converted horizontal scrollbars to new style	2016-04-09 01:03:40 +11:00
Charles Dang	0e7f855be3	Improved scrollbar graphics	2016-04-07 19:45:28 +11:00
Charles Dang	0708069cc2	New design for vertical scrollbars (horizontal pending)	2016-04-03 23:32:04 +11:00
Charles Dang	5aa86c42f0	Moved scrollbar images to their own folder	2016-02-22 23:35:23 +11:00