diff dwt/custom/StyledTextContent.d @ 238:380bad9f6852

reverted char[] to String
author Frank Benoit <benoit@tionex.de>
date Mon, 05 May 2008 00:42:55 +0200
parents 721afe91f448
children c0d810de7093
line wrap: on
line diff
--- a/dwt/custom/StyledTextContent.d	Sat Apr 26 10:01:30 2008 +0200
+++ b/dwt/custom/StyledTextContent.d	Mon May 05 00:42:55 2008 +0200
@@ -12,6 +12,8 @@
  *******************************************************************************/
 module dwt.custom.StyledTextContent;
 
+import dwt.dwthelper.utils;
+
 import dwt.custom.TextChangeListener;
 /**
  * Clients may implement the StyledTextContent interface to provide a
@@ -53,7 +55,7 @@
  *  content.
  * @return the line text without delimiters
  */
-public char[] getLine(int lineIndex);
+public String getLine(int lineIndex);
 
 /**
  * Return the line index at the given character offset.
@@ -103,7 +105,7 @@
  * @return the line delimiter that should be used by the StyledText widget
  *  when inserting new lines.
  */
-public char[] getLineDelimiter();
+public String getLineDelimiter();
 
 /**
  * Return the character offset of the first character of the given line.
@@ -134,7 +136,7 @@
  * @param length the length of the text to return
  * @return the text at the given range
  */
-public char[] getTextRange(int start, int length);
+public String getTextRange(int start, int length);
 
 /**
  * Remove the specified text changed listener.
@@ -192,7 +194,7 @@
  * @param text text to replace
  * @see TextChangeListener
  */
-public void replaceTextRange(int start, int replaceLength, char[] text);
+public void replaceTextRange(int start, int replaceLength, String text);
 
 /**
  * Set text to "text".
@@ -204,7 +206,7 @@
  * @param text the new text
  * @see TextChangeListener
  */
-public void setText(char[] text);
+public void setText(String text);
 
 /++
  + DWT Extension