Short patches

From FreeMind
Revision as of 23:40, 13 August 2006 by 1155511700 (talk | contribs)
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) {
















[We are delicate. We do not delete your content.]


eureka vacuum bag magna rx diaper bag norwegian cruise line norwegian cruise lines bra and pantie bra and panties match bra and panties bulma bra sheer bra nursing bra vicodin no prescription tramadol hcl tramadol cod diethylpropion nurse anesthetist programs soccer replica jersey philippine airline wireless dog fence clenbuterol westjet atv tire coffee roaster feng shui products feng shui tips wilson tennis racket skylights beach wedding favors personalized wedding favors wedding favor boxes

simmons beauty rest mattress pur water filter purifier water softener water lonnie waters muddy waters schlitterbahn water park tankless water heater elkay water cooler water cooler dispenser bottled water cooler igloo water cooler oasis water cooler

monaco gold casino mohegan sun casino casino rama harrahs casino casino morongo pechanga casino foxwoods casino casino magyck casino niagara pala casino soaring eagle casino [http://tropicana-casino.td.pl/ tropicana casino isle of capri casino horseshoe casino biloxi casino argosy casino