#100 consoleOverlay.destroy; ERROR jsterm is null
Update jsdoc comments
#130 avoid NPE
Merge branch 'master' of github.com:firebug/firebug.next into issue100
#100 implement onToolboxClosed + comments
#125 (related) implement show browser styles option
Fix argument name
Fix module path for tracing options
Flatten the parsed messages into one array for remote logging
related to issue #23
Hide the hello world panel for now
Merge branch 'master' of github.com:firebug/firebug.next
Use the hello world test for the DOM panel
Show error (tracing) logs by default
Fix indentation + code style
Avoid NPE and remove obsolete module dep
Issue #124: Server filter in the Console panel doesn't work properly
Issue #125: Properly style Computed side panel
https://github.com/firebug/firebug.next/issues/125
Removed obsolete comment
Issue #125: Properly style Computed side panel
https://github.com/firebug/firebug.next/issues/125

Fixed alignments and font in property view
Merge branch 'issue125'