garrynewman/garrysmod — pull request #529 by robotboy655 (2013-12-14 17:59:32+00:00)
Title: Fixes for favorites and last map saving

* Fixed last category not always saving
* Made it easier to understand what maps are in favorites while not in
Favorites category