7: Properly style toolbox window buttons
- Initial commit, added dock buttons and close button.
Loosing theme after multiple open/close devtools #33
Avoid NPE
Fix typo
22: Inspector panel toolbar doesn't support Firebug theme
- made space between crumb smaller
Merge branch 'master' into issue-7
7: Properly style toolbox window buttons
- Make space between toolbox controls smaller
Issue36: Selected toolbox tab should blend with the toolbar
- Fix margin bottom issue.
Integrate with gDevTools.registerTheme (bug 1038562) #39
 Issue #22: Inspector panel toolbar doesn't support Firebug theme
 - smaller space between breadcrumbs
Merge branch 'master' into issue7
Reflect progress in Bug 1038562 (issue #39)
Issue #1: Implement Trace.to and Trace.toError()
Update readme (link to DevTools hacking doc)
Code Mirror theme is applied automatically + tracing (issue #39)
Proper registration of theme event handlers (issue #39)
Use theme events for the Inspector panel (issue #39)
Style the built-in splitter (issue #39)
Unregister Firebug theme (issue #39)
Introduce a new 'window' core module.