Highly initial graph settings plugin
Sync graph property changes, fixes #4
Initial styling for the properties editor, fixes #10
Editor for changing the WebSocket URL used for server-side graphs, refs #10
Provide favicon via package
Use better icons
Some graph sanity checking
Merge branch 'master' into gh-pages
Update gh-pages