Changeset 142:8dfc614db2bc

Timestamp:

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

Author:

marc@f1.local

branch:

default

Message:

too much debout println

Files:

• development/java/field/core/ui/text/BaseTextEditor2.java (modified) (3 diffs)
• development/java/field/core/ui/text/PythonTextEditor.java (modified) (1 diff)

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

@@ -1006 +1006 @@
-                                DefaultStyledDocument doc = (DefaultStyledDocument) ed.getDocument();
-                                Element element = doc.getCharacterElement(offset);
-
+//
-
-                                if (element.getName().toLowerCase().equals("component")) {
-
+//
-                                } else
-                                        fb.insertString(offset, string, attr);
@@ -1018 +1018 @@
-                                DefaultStyledDocument doc = (DefaultStyledDocument) ed.getDocument();
-                                Element element = doc.getCharacterElement(offset);
-
+//
-                                if (element.getName().toLowerCase().equals("component")) {
-
+//
-                                } else
-                                        fb.replace(offset, length, text, attrs);
@@ -1029 +1029 @@
-                                DefaultStyledDocument doc = (DefaultStyledDocument) ed.getDocument();
-                                Element element = doc.getCharacterElement(offset);
-
+//
-                                if (element.getName().toLowerCase().equals("component")) {
-
+//
-                                        fb.remove(element.getStartOffset(), element.getEndOffset() - element.getStartOffset());
-                                } else

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

@@ -508 +508 @@
-
-        public void setText(String string) {
-                System.out.println(" about to set text to nothing ");
-
-                ed.setText("");
-                ed.setText("");
-                try {
-                        System.out.println(" and now we'll set the text to be <"+string+">");
-                        ((StyledDocument) ed.getDocument()).insertString(0, string, ((StyledDocument) ed.getDocument()).getStyle("regular"));
-                        // ed.getDocument().insertString(0,