*
* @param view Description of the Parameter
*/
public static void ShowTutorial(org.gjt.sp.jedit.View view) {
JDialog jd = new JDialog(view, Translator.getTranslation("Tutorial"), false);
InfoViewer iv = new InfoViewer(view, "");
String urlString = null;
int inset = 100;
try {
URL urltmp = Fileio.getURL("tutorialmain." +
SetupInfo.getProperty(SetupInfo.PRESENT_LANGUAGE) + ".html", "tutorial");
if (urltmp == null) {
//if it cant be found, then just get english as the default
urltmp = Fileio.getURL("tutorialmain.en.html", "tutorial");
}
urlString = urltmp.toString();
iv.gotoURL(urlString);
jd.getContentPane().add(iv);
jd.pack();
Rectangle rv = new Rectangle();
if (view != null) {
view.getBounds(rv);