8 commits

Author	SHA1	Message	Date
David Rowe	9858c05bdb	Pressing header in Tools options takes user back to Tools menu	2017-08-24 21:22:05 +12:00
David Rowe	24202b7fa5	Simplify deleting overlays	2017-08-24 15:26:26 +12:00
David Rowe	a33dbfe9b3	Change Tools menu header content per current tool	2017-08-24 14:30:05 +12:00
David Rowe	2a2f058898	Fix Tools menu header underline color	2017-08-23 21:59:55 +12:00
David Rowe	be45f600d4	Style Create palette items	2017-08-23 21:56:59 +12:00
David Rowe	1aba95ecb8	Style Tools menu buttons	2017-08-23 18:20:51 +12:00
David Rowe	0ef03eb52a	Remove extraneous panels	2017-08-23 10:42:24 +12:00
David Rowe	7051ff8f1f	Rename "tool menu" to "tools menu"	2017-08-23 09:41:46 +12:00

Renamed from scripts/vr-edit/modules/toolMenu.js (Browse further)