Changeset 275:9c5ba1f00519

Timestamp:

08/04/08 18:51:33 (5 months ago)

Author:

Frank Benoit <benoit@tionex.de>

branch:

default

Message:

Fix: delete the whole codepoint for backspace.
Fix: getPointAtPosition handle whole codepoints correctly.

Files:

• dwt/custom/StyledText.d (modified) (6 diffs)

dwt/custom/StyledText.d

@@ -2241 +2241 @@
-        int lineOffset = content.getOffsetAtLine(lineIndex);
-        if (caretOffset is lineOffset) {
+            // DWT: on line start, delete line break
-            lineOffset = content.getOffsetAtLine(lineIndex - 1);
-            event.start = lineOffset + content.getLine(lineIndex - 1).length;
@@ -2246 +2247 @@
-        } else {
-            TextLayout layout = renderer.getTextLayout(lineIndex);
-HA
+LUSTE
-            renderer.disposeTextLayout(layout);
-            event.start = start + lineOffset;
@@ -3988 +3989 @@
-    TextLayout layout = renderer.getTextLayout(lineIndex);
-    x += horizontalScrollOffset - leftMargin;
-] trailing = new int[1]
+1] trailing
-    int offsetInLine = layout.getOffset(x, y, trailing);
-    caretAlignment = OFFSET_LEADING;
@@ -4910 +4911 @@
-    if (lineLength !is 0  && offsetInLine <= lineLength) {
-        if (offsetInLine is lineLength) {
-
+
+
+
-        } else {
-            switch (caretAlignment) {
@@ -4921 +4924 @@
-                        point = layout.getLocation(offsetInLine, false);
-                    } else {
-
+
+
+
-                    }
-                    break;
@@ -8324 +8329 @@
-    super.redraw();
-}
+// DWT: If necessary, scroll to show the location
-bool showLocation(Rectangle rect, bool scrollPage) {
-    int clientAreaWidth = this.clientAreaWidth - leftMargin - rightMargin;