)]}'
{
  "commit": "2d71b27e2d536c459ae115f92f2b9a5790454078",
  "tree": "a5938d8be77ae5907b3e8a3fa9673e306ad07007",
  "parents": [
    "b656baae08190ab74b69be17fae813caed6212e0"
  ],
  "author": {
    "name": "Ansgar Radermacher",
    "email": "ansgar.radermacher@cea.fr",
    "time": "Mon Oct 28 14:41:12 2019 +0100"
  },
  "committer": {
    "name": "Ansgar Radermacher",
    "email": "ansgar.radermacher@cea.fr",
    "time": "Mon Oct 28 14:41:12 2019 +0100"
  },
  "message": "Bug 312723 - Fonts broken on Export to Image and Printing\n\n- Don\u0027t retrieve actual display DPI, but use default value, as the SVG export should not\n  depend on the the current screen resolution\n- Don\u0027t round font height: avoid that font might be too big and text may get clipped (using\n\ta slightly too small font size is almost never a problem)\n\nSigned-off-by: Ansgar Radermacher \u003cansgar.radermacher@cea.fr\u003e\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "3bffb10193566cc11d7a425bf63dd0526703384c",
      "old_mode": 33188,
      "old_path": "org.eclipse.gmf.runtime.draw2d.ui.render.awt/src/org/eclipse/gmf/runtime/draw2d/ui/render/awt/internal/graphics/GraphicsToGraphics2DAdaptor.java",
      "new_id": "1a1ddf2f508391fa9cd01e99895c9bf7aa4c7a19",
      "new_mode": 33188,
      "new_path": "org.eclipse.gmf.runtime.draw2d.ui.render.awt/src/org/eclipse/gmf/runtime/draw2d/ui/render/awt/internal/graphics/GraphicsToGraphics2DAdaptor.java"
    }
  ]
}