Rodin Handbook





 
Previous: What are the ASCII shortcuts for mathematical operators Up: General Tool Usage Next: No More Handles User Manual for Rodin v.2.3

Feedback

4.2.5 Rodin (and Eclipse) doesn’t take into account the MOZILLA_FIVE_HOME environment variable

You have to 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
Previous: What are the ASCII shortcuts for mathematical operators Up: General Tool Usage Next: No More Handles  
User Manual for Rodin v.2.3 : Frequently Asked Questions : General Tool Usage : Rodin (and Eclipse) doesn’t take into account the MOZILLA_FIVE_HOME environment variable