changeset 115:172947fc6a88

Fix crash when pasting text from external source.
author Frank Benoit <benoit@tionex.de>
date Sat, 12 Jul 2008 17:46:56 +0200
parents 7194dba256b8
children f53c6274734f
files examples/texteditor/TextEditor.d
diffstat 1 files changed, 6 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- 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);
+                }
             }
         }
     }