Brian Vaughn c7f8557202 Improve selected node highlighting by using minWidth instead of width

2019-02-28 12:56:49 -08:00

..

views

Improve selected node highlighting by using minWidth instead of width

2019-02-28 12:56:49 -08:00

index.js

Added Prettier (and formatted code)

2019-01-23 08:45:19 -08:00

store.js

Removed an unnecessary entry from add-root operation array

2019-02-28 08:52:46 -08:00

types.js

Implemented view-source button for DOM extension

2019-02-22 13:24:03 -08:00