5 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	8e8b4a3835	Added empty images for an imageless menu button ... This is a huge hack, but it's how GUI1 was set up and it's not worth trying to refactor it any differently.	2016-03-16 05:00:58 +11:00
Charles Dang	4cab896cf9	Moved unused H18 menu button images to attic	2013-06-09 02:44:23 +11:00
Charles Dang	a7e088cad0	Moved disabled widget images to attic	2013-06-09 02:13:09 +11:00
Charles Dang	44ec96ad88	Renamed images/buttons/menu_buttons to images/buttons/button_menu for consistency	2013-06-04 23:17:07 +11:00