• Fixed a bug with pinch-zooming in some browsers.
• Fixed a regression with Diagram.makeSVG. It would not include CORS-disabled images.
• Fixed a bug with the TextEditingTool when using custom HTML text editors. The code attempted to call editor.focus() and editor.setSelectionRange() before the editor was added to the DOM. This problem does not affect HTMLInfo, only HTML Element text editors.
• Improved dragging of nodes from a Diagram or Palette onto an empty Diagram.