org.symbian.tools.wrttools.editing/preferences.ini
changeset 38 954dbf7baac6
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/org.symbian.tools.wrttools.editing/preferences.ini	Wed Jan 20 18:00:15 2010 -0800
@@ -0,0 +1,1 @@
+preview.autorefresh=prompt
\ No newline at end of file