Author: yradtsevich Date: 2009-12-01 15:07:56 -0500 (Tue, 01 Dec 2009) New Revision: 18954 Modified: branches/jbosstools-3.1.0.RC1/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/mozilla/MozillaEditor.java Log: https://jira.jboss.org/jira/browse/JBIDE-4345 Fix to make the VPE compatible with Eclipse 3.5.0 Modified: branches/jbosstools-3.1.0.RC1/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/mozilla/MozillaEditor.java =================================================================== --- branches/jbosstools-3.1.0.RC1/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/mozilla/MozillaEditor.java 2009-12-01 20:00:35 UTC (rev 18953) +++ branches/jbosstools-3.1.0.RC1/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/mozilla/MozillaEditor.java 2009-12-01 20:07:56 UTC (rev 18954) @@ -616,10 +616,42 @@ protected void setInitialContent() { final String html = DocTypeUtil.prepareInitFile( INIT_FILE, getEditorInput()); - - // there was a problem with setText in eclipse 3.5.0 (JBIDE-4345), - // but since 3.5.1 it should work - xulRunnerEditor.setText(html); + + // Workaround of JBIDE-4345. + // Due to a bug in org.eclipse.swt.browser.Mozilla we cannot simply + // set initial html code as xulRunnerEditor.setText(html). + // Instead of it we create a temporary file containing + // the html code and set it to the Mozilla browser as URL. + // When we will not have to support Eclipse 3.5.0 + // all the following code should be replaced by the following line: + // xulRunnerEditor.setText(html); + File tmp = null; + Writer out = null; + try { + tmp = File.createTempFile( + "temp", ".html"); //$NON-NLS-1$//$NON-NLS-2$ + tmp.deleteOnExit(); + out = new FileWriter(tmp); + out.write(html); + } catch (IOException e) { + VpePlugin.getPluginLog().logError(e); + } finally { + try { + if (out != null) { + out.close(); + if (tmp != null) { + xulRunnerEditor.setURL("file://" //$NON-NLS-1$ + + tmp.getCanonicalPath()); + } + } + } catch (IOException e) { + VpePlugin.getPluginLog().logError(e); + } finally { + if (tmp != null) { + tmp.delete(); + } + } + } } /**