[Bug 410931] Opening a JPG file shows as text in editor when ".JPG" extension is upper case
browserCompatibility.js: cleanup
Bug 411644 - "replace all" broken
Take advantage of the new clipboardData API on Firefox 22
remove Opera hack. Not need in Opera 12.15
remove Opera hack. Not need in Opera 12.15
Bug 411607 - Combine functions invoked by event listener on hashchange in setup.js
Bug 411788 - [BrowserCompatibility] Alert not displayed on minified orion in <IE10 - undo converting BrowserCompatibility into a module
Bug 408275 - fixing a problem where breadcrumbs were wrapping at shorter browser width
[Bug 410931] Fix error loading navigator
-Trying to get contentType of file with no Name field
Bug 411201 - Rework dropdown menu widget and integration with hamburger and wrench buttons
reduce margin between hamburger/wrench and popup menu
minor nitpick: throw Error
Bug 411727 - Add tooltip to wrench button
Move wrench (Local Editor Settings) menu code out of globalCommands.js into setup.js
[Bug 411146] Remove defunct favorites code
Clean up JSLint warnings
Fix broken strExternalizer
String Externalizer: fix the left-hand (config) pane
String Externalizer: make it actually work again