Patches Fixed issues in deploy script: 1eb73a4 Check if there is data in local storage before reloading. Closes #1450.: 6acc9b7 Updated codemirror search dialog styles. Closes #1453. Updated scrollbar of window switcher for firefox. #1444.: 0c0b5f7