| commit | 05969f82a85c2d03e81d54cb0ab77b1b33903530 | [log] [tgz] |
|---|---|---|
| author | apanchenk <apanchenk> | Tue Jul 15 07:39:19 2008 +0000 |
| committer | apanchenk <apanchenk> | Tue Jul 15 07:39:19 2008 +0000 |
| tree | 6ad6e015f3880f5852148bfaf9766772f11d9b74 | |
| parent | 93609d927037e15ada4876156eb3858ba7a561d0 [diff] |
store.setDefault(PreferenceConstants.EDITOR_EVALUTE_TEMPORARY_PROBLEMS,true);