Re: editor widget

[Thomas Mailund Jensen <mailund daimi aau dk>]

Ups! It would seem that I introduced a new bug before I uploaded the
editor widget. This bug will confuse the highlighting when a file is
loaded into, or text is pasted into, the widget, so it will enter a
state at some (early) point of the file, and refuse to leave it again.

This patch should fix it. If not, please let me know.

BTW, I should have mentioned, the editor works with gtk1.1, not
gtk1.0.  I'm sorry, if you have wasted any time on that accord.

/mailund


===File ~/src/X/gtk/gtkeditor/patch==========================
--- gtkeditor.c	Mon Jul 20 16:41:47 1998
+++ gtkeditor.new	Wed Jul 22 11:20:49 1998
@@ -545,7 +545,7 @@
 			 text->text, text->gap_position,
 			 /* text after gap */
 			 text->text + text->gap_position + text->gap_size,
-			 text->text_len - (text->gap_position + text->gap_size),
+			 text->text_end - (text->gap_position + text->gap_size),
 			 /* from 'start' and forward to the end */
 			 start,
 			 (forward ? text->text_end - text->gap_size - start
@@ -629,7 +629,7 @@
 		     text->text, text->gap_position,
 		     /* text after gap */
 		     text->text + text->gap_position + text->gap_size,
-		     text->text_len - (text->gap_position + text->gap_size),
+		     text->text_end - (text->gap_position + text->gap_size),
 		     /* from pos and not after the end */
 		     pos, NULL, text->text_end - text->gap_size);
 #else
============================================================