On 23.04.18 09:48, Erdal Karaca wrote: > Hi Tom, > Do you have a hint where to look at the sources?
It's somewhere in the Workbench.java > Do you know what the purpose of that mechanism/timer is? > > I just found "Workbench save interval (in minutes)" in the preferences > dialog? Yep this is the guy. If you set it to 0 the timer won't run ;-) Tom > > Thanks. > > 2018-04-23 9:41 GMT+02:00 Tom Schindl <[email protected] > <mailto:[email protected]>>: > > Yes there is a timer running (and there's even preference value). My > guess is that the cleanup of the model is done directly before shutdown. > > Tom > > On 23.04.18 09:38, Erdal Karaca wrote: > > Hi devs, > > I observed the following behavior of the platform: it seems to > randomly > > persist the application model at run time. Now, if the application > > process is killed (or not properly shut down), the platform will > reload > > that intermediate model which leads to duplicated model entries, for > > example, any active dynamic menu items or toolbar items. This only > > happens if -clearPersistedState is not set/provided. > > > > Do you know of such a mechanism and what it is good for? > > > > Thanks. > > > > Erdal > > > > > > _______________________________________________ > > platform-dev mailing list > > [email protected] <mailto:[email protected]> > > To change your delivery options, retrieve your password, or > unsubscribe from this list, visit > > https://dev.eclipse.org/mailman/listinfo/platform-dev > <https://dev.eclipse.org/mailman/listinfo/platform-dev> > > > _______________________________________________ > platform-dev mailing list > [email protected] <mailto:[email protected]> > To change your delivery options, retrieve your password, or > unsubscribe from this list, visit > https://dev.eclipse.org/mailman/listinfo/platform-dev > <https://dev.eclipse.org/mailman/listinfo/platform-dev> > > > > > _______________________________________________ > platform-dev mailing list > [email protected] > To change your delivery options, retrieve your password, or unsubscribe from > this list, visit > https://dev.eclipse.org/mailman/listinfo/platform-dev > _______________________________________________ platform-dev mailing list [email protected] To change your delivery options, retrieve your password, or unsubscribe from this list, visit https://dev.eclipse.org/mailman/listinfo/platform-dev
