diff dwt/custom/StyledTextContent.d @ 212:ab60f3309436

reverted the char[] to String and use the an alias.
author Frank Benoit <benoit@tionex.de>
date Mon, 05 May 2008 00:12:38 +0200
parents a5afe31f5cdd
children fd9c62a2998e
line wrap: on
line diff
--- a/dwt/custom/StyledTextContent.d	Sat Apr 26 10:01:48 2008 +0200
+++ b/dwt/custom/StyledTextContent.d	Mon May 05 00:12:38 2008 +0200
@@ -1,4 +1,4 @@
-/*******************************************************************************
+/*******************************************************************************
  * Copyright (c) 2000, 2006 IBM Corporation and others.
  * All rights reserved. This program and the accompanying materials
  * are made available under the terms of the Eclipse Public License v1.0
@@ -13,6 +13,8 @@
 module dwt.custom.StyledTextContent;
 
 import dwt.custom.TextChangeListener;
+import dwt.dwthelper.utils;
+
 /**
  * Clients may implement the StyledTextContent interface to provide a
  * custom store for the StyledText widget content. The StyledText widget
@@ -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,5 +206,5 @@
  * @param text the new text
  * @see TextChangeListener
  */
-public void setText(char[] text);
+public void setText(String text);
 }