**********************************************************************************************************************************/
package net.sourceforge.phpeclipse.wiki.editor;
-import net.sourceforge.phpeclipse.webbrowser.views.BrowserView;
-import net.sourceforge.phpeclipse.wiki.builder.CreatePageAction;
import net.sourceforge.phpeclipse.wiki.editor.model.WikipediaSection;
import net.sourceforge.phpeclipse.wiki.editor.model.WikipediaText;
import net.sourceforge.phpeclipse.wiki.preferences.Util;
import org.eclipse.jface.text.source.projection.ProjectionSupport;
import org.eclipse.jface.text.source.projection.ProjectionViewer;
import org.eclipse.swt.widgets.Composite;
-import org.eclipse.ui.IEditorInput;
-import org.eclipse.ui.IFileEditorInput;
-import org.eclipse.ui.IViewPart;
-import org.eclipse.ui.IWorkbenchPage;
import org.eclipse.ui.texteditor.AbstractDecoratedTextEditor;
import org.eclipse.ui.texteditor.ITextEditorActionDefinitionIds;
import org.eclipse.ui.texteditor.TextOperationAction;
*/
protected void editorSaved() {
super.editorSaved();
- // doesn't work here, wikibuilder has to be finished with generating html page
- IWorkbenchPage page = WikiEditorPlugin.getDefault().getActivePage();
- try {
- IViewPart part = page.findView(BrowserView.ID_BROWSER);
- if (part == null) {
- part = page.showView(BrowserView.ID_BROWSER);
- } else {
- // if (bringToTopPreview) {
- // page.bringToTop(part);
- // }
- }
- IEditorInput editorInput = null;
- editorInput = this.getEditorInput();
- if (editorInput instanceof IFileEditorInput) {
- CreatePageAction.createPage(((IFileEditorInput) editorInput).getFile());
- ((BrowserView) part).refresh();
- }
- } catch (Exception e) {
- }
+ BrowserUtil.refreshBrowserPreview(this);
}