Changeset 143:6e4f13492b3c

Timestamp:

08/01/2008 03:57:03 PM (4 months ago)

Author:

marc@f1.local

branch:

default

Message:

too much debout println, fix for #89

Files:

• development/java/field/core/plugins/InspectorPlugin.java (modified) (1 diff)
• development/java/field/core/ui/text/BaseTextEditor2.java (modified) (4 diffs)

development/java/field/core/plugins/InspectorPlugin.java

@@ -288 +288 @@
-                        }
-
-                        System.out.println(source+" "+prop+" "+to);
-
-                        if (prop.equals(iVisualElement.name))
-                        {
-                                System.out.println(" setting dirty ? ");
-                                source.setProperty(iVisualElement.dirty, true);
-                        }

development/java/field/core/ui/text/BaseTextEditor2.java

@@ -628 +628 @@
-                        //      System.out.println(" get next visual position from <" + pos + "> <" + bias + "> <" + direction + ">");
-                                int x = super.getNextVisualPositionFrom(text, pos, bias, direction, biasRet);
-
+x
-                                return x;
-                        }
@@ -640 +640 @@
-                        //      System.out.println(" moveDot <" + fb + "> <" + dot + "> <" + bias + "> element at dot <" + element + "> <" + lastDot + ">");
-
-
-
+
+
+
-                                                dot = element.getEndOffset();
-                                        } else if (lastDot > dot) {
-- 1
+
-                                        }
+                                }
+                                if (dot<0)
+                                {
+                                        dot=0;
-                                }
-                                lastDot = dot;
@@ -658 +663 @@
-                        //      System.out.println(" setDot <" + fb + "> <" + dot + "> <" + bias + "> element at dot <" + element + "> <" + lastDot + ">");
-
-
-
+ 
+ && dot>element.getStartOffset()
-                                                dot = element.getEndOffset();
-                                        } else if (lastDot > dot) {
-- 1
+
-                                        }
+                                }
+                                if (dot<0)
+                                {
+                                        dot=0;
-                                }
-                                lastDot = dot;
@@ -1021 +1030 @@
-                                if (element.getName().toLowerCase().equals("component")) {
-                        //              System.out.println(" forbidden edit");
+
+                                        if (offset==element.getStartOffset())
+                                        {
+                                                //System.out.println(" at start offset");
+                                                fb.replace(offset, length, text, attrs);
+                                        }
+
-                                } else
-                                        fb.replace(offset, length, text, attrs);