# HG changeset patch
# User Frank Benoit <benoit@tionex.de>
# Date 1226737202 -3600
# Node ID a785420fe9cab73534fc6c5f34d7606c32206a92
# Parent  c3583c6ec027a79b3727615f3f4f41f481a04e0c
PreferenceStore char escaping for \r.
Thanks yidabu

diff -r c3583c6ec027 -r a785420fe9ca dwtx/jface/preference/PreferenceStore.d
--- a/dwtx/jface/preference/PreferenceStore.d	Mon Nov 03 22:52:26 2008 +0100
+++ b/dwtx/jface/preference/PreferenceStore.d	Sat Nov 15 09:20:02 2008 +0100
@@ -111,6 +111,7 @@
                         esc = false;
                         switch( c ){
                         case 't': c = '\t'; break;
+                        case 'r': c = '\r'; break;
                         case 'n': c = '\n'; break;
                         case '\\': c = '\\'; break;
                         default:  break;