slhale 6e8dcc6ab8 [Inspector] Fix location label heights
Made it so that the last element of the location
does not get misaligned.
Also changed the element background highlighting
and arrow size.
2015-08-24 09:26:39 -07:00
..
2015-08-21 13:19:49 -07:00
2014-12-31 10:43:01 -08:00