Changeset 289 for trunk/src/org/expeditee/items/Text.java

Timestamp:

09/03/08 09:50:37 (16 years ago)

Author:

ra33

Message:

Added HTML styles

File:

• trunk/src/org/expeditee/items/Text.java (modified) (4 diffs)

trunk/src/org/expeditee/items/Text.java

@@ -36 +36 @@
 import org.expeditee.gui.FrameMouseActions;
 import org.expeditee.gui.FrameUtils;
+import org.expeditee.gui.UserSettings;
 import org.expeditee.math.ExpediteeJEP;
 import org.nfunk.jep.Node;
@@ -275 +276 @@
 
         public void setAttributeValue(String value) {
-                AttributeValuePair avp = new AttributeValuePair(getText(),false);
+                AttributeValuePair avp = new AttributeValuePair(getText(), false);
                 avp.setValue(value);
                 setText(avp.toString());
@@ -1426 +1427 @@
                 if (hasFormula()) {
                         g.setColor(getPaintHighlightColor());
-                        Stroke highlightStroke = new BasicStroke(
-                                        1F, CAP, JOIN);
+                        Stroke highlightStroke = new BasicStroke(1F, CAP, JOIN);
                         g.setStroke(highlightStroke);
 
@@ -1556 +1556 @@
         public void setSize(float size) {
                 invalidateAll();
+                //size *= UserSettings.ScaleFactor;
                 // Dont want to have size set when duplicating a point which has size 0
                 if (size < 0)