3 Commits

Author	SHA1	Message	Date
Kovid Goyal	903adb3387	Switch to the new icons	2016-10-29 12:44:59 +05:30
Wladimir Schmidt	b192c978ff	* optimized *.png files with lossless png optimizer, saved hundred of KBs without to lose in quality!	2015-08-09 16:51:12 +02:00
Charles Haley	7c22f4ffa1	Fix #9169: not possible to hide user category with hierarchy ... Fix #9166: hierarchy indicator for no children Fix removes all hidden tag browser categories. They must be re-hidden. Fix adds clicking on category nodes to search, plus four-state searching.	2011-02-26 07:16:43 +00:00