Fix #622: Type of Double changed to Int32 on save document
Merge pull request #628 from stennie/issue-622

Fix #622: Type of Double changed to Int32 on save document
Fix #455: Show execution time for operations that don't return results
Merge pull request #629 from stennie/issue-455

Fix #455: Show execution time for operations that don't return results
Fix #631: "Duplicate Query In New Tab"
 - add keyboard shortcut: Ctrl/Cmd+Shift+T
 - add to Window menu
Merge pull request #632 from stennie/issue-631

Fix #631: "Duplicate Query In New Tab"
Merge pull request #1 from paralect/master

Update