Short patches

From FreeMind
Revision as of 23:53, 12 March 2005 by 83.129.24.24 (talk) (Restored the content and removed the spam links.)
Jump to navigationJump to search
 

Let us put short patches directly here.

Patch resizing images upon zoom

Our user Mario Claerhout has written to us: Since I like FreeMind so much I decided to add a little contribution. Attached you find an altered NodeView.java which contains following modification : Nodes containing images are now also resized when zooming. I did this by adding the method:

 private String resizeImage(String text) {

   JLabel imageLabel=new JLabel(text);
   Dimension prefSize=imageLabel.getPreferredSize();
   int width=(int)(prefSize.width * map.getZoom());
   int height=(int)(prefSize.height * map.getZoom());              
   String result=text.replaceAll("(<html>.*?<img src=\".*?\")",
                                 "$1 width=\""+width+"\" height=\""+height+"\"");
   System.out.println(result);
   return result;

 }

Patch to compile with Java 5

(You'll need to remove the space at the start of each line)

diff -ur freemind/freemind/main/XMLElement.java freemind-loz/freemind/main/XMLElement.java
--- freemind/freemind/main/XMLElement.java 2003-11-03 11:00:10.000000000 +0000
+++ freemind-loz/freemind/main/XMLElement.java 2004-11-12 20:46:18.568427860 +0000
@@ -480,9 +480,9 @@
         this.children = new Vector();
         this.entities = entities;
         this.lineNr = 0;
-        Enumeration enum = this.entities.keys();
-        while (enum.hasMoreElements()) {
-            Object key = enum.nextElement();
+        Enumeration enumb = this.entities.keys();
+        while (enumb.hasMoreElements()) {
+            Object key = enumb.nextElement();
             Object value = this.entities.get(key);
             if (value instanceof String) {
                 value = ((String) value).toCharArray();
@@ -2194,10 +2194,10 @@
         writer.write('<');
         writer.write(this.name);
         if (! this.attributes.isEmpty()) {
-            Enumeration enum = this.attributes.keys();
-            while (enum.hasMoreElements()) {
+            Enumeration enumb = this.attributes.keys();
+            while (enumb.hasMoreElements()) {
                 writer.write(' ');
-                String key = (String) enum.nextElement();
+                String key = (String) enumb.nextElement();
                 String value = (String) this.attributes.get(key);
                 writer.write(key);
                 writer.write('='); writer.write('"');
@@ -2224,9 +2224,9 @@
         } else {
             writer.write('>');
             writer.write('\n');
-            Enumeration enum = this.enumerateChildren();
-            while (enum.hasMoreElements()) {
-                XMLElement child = (XMLElement) enum.nextElement();
+            Enumeration enumb = this.enumerateChildren();
+            while (enumb.hasMoreElements()) {
+                XMLElement child = (XMLElement) enumb.nextElement();
                 child.write(writer);
             }
             if (withClosingTag) {