RealBadAngel 68f5b877c7 Halo: Highlight selected face ... This is a slightly modified and cleaned up version of #3774 by RealBadAngel. By sofar: Remove color change (just make it lighter) and some minor cleanups.		2016-11-12 06:41:04 +00:00
..
pack	Halo: Highlight selected face	2016-11-12 06:41:04 +00:00