adobe/brackets-shell — pull request #43 by jason-sanjose (2012-07-30 18:31:18+00:00)
Title: disable show dev tools V8 extension

Remove ``appshell.app.showDeveloperTools``. JavaScript detection already implemented to disable this feature when ``showDeveloperTools`` is undefined. This only impacts brackets-shell. brackets-app is unaffected.