Am 11.10.2011 um 22:10 schrieb Jörn Kottmann: > On 10/11/11 9:04 PM, Richard Eckart de Castilho wrote: >> For some scenarios it might make sense to share these preferences. In >> particular storing a >> default configuration on the server would make sense. My feeling, though, >> is, that presentation >> preferences (what views are visible, what is visible in the views, etc) is >> something which >> a user would want to tune to his own style of working and to his own >> preferences - and that >> different users will have different styles and preferences. > > 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 :) Best, -- Richard -- ------------------------------------------------------------------- Richard Eckart de Castilho Technical Lead Ubiquitous Knowledge Processing Lab FB 20 Computer Science Department Technische Universität Darmstadt Hochschulstr. 10, D-64289 Darmstadt, Germany phone [+49] (0)6151 16-7477, fax -5455, room S2/02/B117 [email protected] www.ukp.tu-darmstadt.de Web Research at TU Darmstadt (WeRC) www.werc.tu-darmstadt.de -------------------------------------------------------------------
