# HG changeset patch
# User Frank Benoit <benoit@tionex.de>
# Date 1215877616 -7200
# Node ID 172947fc6a8813db867ac41e46bdb69bec6bf5e8
# Parent  7194dba256b89bf299fd4bed64287737cc441e3e
Fix crash when pasting text from external source.

diff -r 7194dba256b8 -r 172947fc6a88 examples/texteditor/TextEditor.d
--- a/examples/texteditor/TextEditor.d	Fri Jul 11 01:42:44 2008 +0200
+++ b/examples/texteditor/TextEditor.d	Sat Jul 12 17:46:56 2008 +0200
@@ -383,10 +383,12 @@
         } else {
             // paste occurring, have text take on the styles it had when it was
             // cut/copied
-            foreach (style; cachedStyles) {
-                StyleRange newStyle = cast(StyleRange)style.clone();
-                newStyle.start = style.start + event.start;
-                text.setStyleRange(newStyle);
+            if( cachedStyles !is null ){
+                foreach (style; cachedStyles) {
+                    StyleRange newStyle = cast(StyleRange)style.clone();
+                    newStyle.start = style.start + event.start;
+                    text.setStyleRange(newStyle);
+                }
             }
         }
     }