search

andriusvelykis / proofprocess

ProofProcess framework to capture and analyse expert's interactive proof process. Prototype implementations for Isabelle (via Isabelle/Eclipse) and Z/EVES (via CZT/ZEves).
http://www.ai4fm.org
Eclipse Public License 1.0
4 stars 1 forks source link

Incorrect workspace used after installing ProofProcess plugins #7

Closed andriusvelykis closed 11 years ago

andriusvelykis commented 11 years ago

After installing ProofProcess plugins, Eclipse restarts into the default workspace (e.g. /Users/Documents/Isabelle/workspace for Isabelle/Eclipse) instead of into the one used previously (if not default was used).

It should keep the original workspace - find out where this fails.

andriusvelykis commented 11 years ago

Fixed in 29eb802da0b0b0633f83b6fc879881c2b8a2b41b

The issue appears to be caused by messed up startup order of Eclipse plug-ins (could be related to Eclipse bug 204829). ProofProcess plugins use OSGI declarative services to auto-start proof process tracking. It seems that they are started too early and in turn trigger resource plugin loading, which may mess up resolution of the workspace.

The fix drops OSGI DS usage for auto-start and instead uses org.eclipse.ui.startup extension point to auto-start PP tracking plugins via their UI counterparts.