9 commits

Author	SHA1	Message	Date
Brad Davis	070fb25b80	Cleaning up differnces from master	2019-02-07 13:33:28 -08:00
Brad Davis	b1e4e17f47	Santa Cruz	2019-01-28 15:52:36 -08:00
David Rowe	fc78d0582e	Tidying	2018-09-28 10:18:00 +12:00
David Rowe	a1c49bd2b6	Hide mini tablet if lasering or grabbing something else	2018-09-12 11:18:26 +12:00
David Rowe	66f75e856e	Fix goto and expand displaying as hovered when redisplay mini tablet	2018-09-08 16:41:36 +12:00
David Rowe	f3cbca6cee	Change "bubble" button to "goto"	2018-09-07 16:43:21 +12:00
David Rowe	f4a8dc49e9	Add button sounds	2018-08-21 10:28:23 +12:00
David Rowe	4268297769	Mini tablet button actions	2018-08-21 09:17:53 +12:00
David Rowe	6791d3f1b6	Mini tablet button icons and states	2018-08-21 08:36:04 +12:00