On 10/11/11 10:13 PM, Richard Eckart de Castilho wrote:
> And that is why I decided to distinguish between two different types of
> settings. There are now
> persistent preferences which can be easily shared between users (the ide
> plugin saves it to a file),
> and session preferences which are local to one user, just like eclipse
> does with a lot of
> things (e.g. which editors and views have been opened).
> The visibility preferences are now part of the session preferences.
Ok, now I got it. I misunderstood "session" settings as such that would be lost
when I restart Eclipse.
I now understand that session settings are preserved across restart (I was calling these
"workspace settings"
in another mail). Great:)
Yes. That is what the Cas Editor Ide Plugin will do.
Jörn
