Rodin User’s Handbook v.2.8: Pretty Print does not work on Linux

Rodin Handbook

This work is sponsored by the Deploy Project

This work is sponsored by the ADVANCE Project

Creative Commons License

This work is licensed under a Creative Commons Attribution 3.0 Unported License

Pretty Print does not work on Linux

Rodin User’s Handbook v.2.8

4.2.5 Pretty Print does not work on Linux

Configuring Rodin on Linux can be tricky. In particular, the pretty print view of the original editor requires an HTML control to render. It it does not work after installing Rodin, you may have to configure xulrunner as follows:

Add a property by appending the following code to your eclipse/eclipse.ini or rodin/rodin.ini file:

 
	-Dorg.eclipse.swt.browser.XULRunnerPath=
	  /usr/lib/xulrunner/xulrunner-xxx

Rodin User’s Handbook v.2.8 : Frequently Asked Questions : General Tool Usage : Pretty Print does not work on Linux