nbros/OcaIDE — pull request #6 by keigoi (2012-08-27 12:42:29+00:00)
Title: Sharable managed settings

This patch makes managed project settings saved in /.settings/ocaml.pref.
This will make managed settings shareable via SVN or GIT.
Old settings will also be re-saved when it is read.

Example ocaml.pref generated by this patch:

```
compil_mode/=byte-code
compil_mode/a.exe=byte-code
eclipse.preferences.version=1
flags/=-g\u00A0-annot\u00A0
flags/a.ml=-rectypes\u00A0
make_exe/a.ml=a.exe
object_file_to_link//External\ files/Lwt.mli=lwt.cma\u00A0
```

Please note that only saved properties are compil_mode, flags, make_exe and object_file_to_link.
Other properties, like is_gen or compilation_warnings, are not shared.