tree 54f4d2a409f07599c356ff76aebebd6bc98dccd4
parent 60562281c1b5c1e630e9a3b034aa4a6f5286d95b
author Bri Prebilic Cole <bri@onlab.us> 1433200137 -0700
committer Gerrit Code Review <gerrit@onlab.us> 1433204295 +0000

GUI -- Mobile GUI work. Disabled port highlighting, suppressed port highlighting/sprite layer toolbar buttons, adjusted panel and navigation/mast heights.

Change-Id: I36142be78167fc1eb73cc846e7222391cb8b8740