garrynewman/garrysmod — pull request #492 by robotboy655 (2013-08-18 21:44:51+00:00)
Title: Updated Favorites category stuff

Changes:
* Adding maps to favorites doesn't select the map
* Edited "Add to favorites" icon appearance: http://i.imgur.com/qRnmJg0.png