9 Commits

Author	SHA1	Message	Date
Brian Vaughn	11573bf8d9	Refactored portaling and fixed disconnected CSS vars	2019-03-18 09:11:28 -07:00
Brian Vaughn	f3f4643a3a	Experimenting with portals	2019-03-17 13:52:37 -07:00
Brian Vaughn	585c1cb3d2	Refactored Profiler tree to better work with suspense	2019-03-15 10:26:21 -07:00
Brian Vaughn	2d68007288	Initial profiling shell added ... Lots of TODOs and unfinished views here.	2019-03-10 09:01:05 -07:00
Brian Vaughn	e9028d1d35	Re-organized views slightly in preparation for Profiler UI	2019-03-06 14:01:52 -08:00
Brian Vaughn	53632883b6	Implemented view-source button for DOM extension	2019-02-22 13:24:03 -08:00
Brian Vaughn	15c5396169	Re-added "Settings" panel to browser extension and (hopefully) fixed a lot of sources of error	2019-02-14 11:45:11 -08:00
Brian Vaughn	4ea81337f3	Initial pass at adding Settings panel to browser extension	2019-02-13 10:59:49 -05:00
Brian Vaughn	d203ebf165	Added new tabs UI and theme/display-density preferences	2019-02-12 20:41:39 -05:00