org.symbian.tools.wrttools.editing/preferences.ini
changeset 39 eb7d9e33e288
parent 38 954dbf7baac6
child 40 9bebb93c6833
equal deleted inserted replaced
38:954dbf7baac6 39:eb7d9e33e288
     1 preview.autorefresh=prompt