From e5cb1cf1f1fb8b4329db5162ed53fd44b39bac7c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Vojt=C4=9Bch=20Kr=C3=A1sa?= <vojta.krasa@gmail.com>
Date: Sun, 31 Mar 2019 11:40:48 +0200
Subject: [PATCH] Fixes #194 Zooming even when scale is defined in the code

---
 META-INF/plugin.xml                           |  1 +
 .../idea/rendering/PlantUmlRenderer.java      | 23 +++++++++++++++----
 2 files changed, 20 insertions(+), 4 deletions(-)

diff --git a/META-INF/plugin.xml b/META-INF/plugin.xml
index 839c399d..34633e71 100644
--- a/META-INF/plugin.xml
+++ b/META-INF/plugin.xml
@@ -19,6 +19,7 @@
               <li>Added option to use GRAPHVIZ_DOT environment variable preferentially</li>
               <li>Grouped file templates</li>
               <li>Restoring scroll position after an error</li>
+              <li>Zooming even when scale is defined in the code</li>
             </ul>
             <p>2.12</p>
             <ul>
diff --git a/src/org/plantuml/idea/rendering/PlantUmlRenderer.java b/src/org/plantuml/idea/rendering/PlantUmlRenderer.java
index b62a4137..c6dddef3 100644
--- a/src/org/plantuml/idea/rendering/PlantUmlRenderer.java
+++ b/src/org/plantuml/idea/rendering/PlantUmlRenderer.java
@@ -103,8 +103,9 @@ private static void zoomDiagram(Diagram diagram, int zoom) {
         if (diagram instanceof UmlDiagram) {
             UmlDiagram umlDiagram = (UmlDiagram) diagram;
             Scale scale = umlDiagram.getScale();
-            if (scale == null) {
-                umlDiagram.setScale(new ScaleSimple(getSystemScale() * zoom / 100f));
+
+            if (scale == null || scale instanceof ScaleSimple || zoom != 100) {
+                umlDiagram.setScale(calculateScale(zoom, scale));
             }
         } else if (diagram instanceof NewpagedDiagram) {
             NewpagedDiagram newpagedDiagram = (NewpagedDiagram) diagram;
@@ -112,14 +113,28 @@ private static void zoomDiagram(Diagram diagram, int zoom) {
                 if (page instanceof DescriptionDiagram) {
                     DescriptionDiagram descriptionDiagram = (DescriptionDiagram) page;
                     Scale scale = descriptionDiagram.getScale();
-                    if (scale == null) {
-                        descriptionDiagram.setScale(new ScaleSimple(getSystemScale() * zoom / 100f));
+
+                    if (scale == null || scale instanceof ScaleSimple || zoom != 100) {
+                        descriptionDiagram.setScale(calculateScale(zoom, scale));
                     }
                 }
             }
         }
     }
 
+    @NotNull
+    private static ScaleSimple calculateScale(int zoom, Scale scale) {
+        return new ScaleSimple(getPlantUmlScale(scale) * getSystemScale() * zoom / 100f);
+    }
+
+    private static double getPlantUmlScale(Scale scale) {
+        double plantUmlScale = 1.0;
+        if (scale instanceof ScaleSimple) {
+            plantUmlScale = scale.getScale(1, 1);
+        }
+        return plantUmlScale;
+    }
+
     private static double getSystemScale() {
         try {
             return JBUI.ScaleContext.create().getScale(JBUI.ScaleType.SYS_SCALE);  //TODO API change 2019/03/05