Why3ide cannot be opened in this version

ID0002289: This issue was created automatically from Mantis Issue 2289. Further discussion may take place here.

---

Id	Project	Category	View	Due Date	Updated
ID0002289	Frama-C	Plug-in > wp	public	2017-03-01	2017-03-01

Reporter	Pierre-Yves Piriou	Assigned To	correnson	Resolution	open
Priority	normal	Severity	feature	Reproducibility	always
Platform	linux 3.2.0-4-amd64	OS	Debian	OS Version	7.11
Product Version	Frama-C 14-Silicon	Target Version	-	Fixed in Version	-

Description :

When I try to open the Why3 IDE from the GUI to edit a proof (right-click on Why3 column, then 'open why3ide'), the "running icon" is displayed but the IDE does not open.