[#4957] Group multiple tools of same type in navbar
Authored by: Tim Van Steenburgh 2012-12-14
Committed by: Cory Johns 2013-01-03
Parent(s): [8e3c5c]
Child(ren): [d33f09]