Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorCarlin Rogers2014-08-08 00:16:08 -0400
committerCarlin Rogers2014-08-08 00:16:08 -0400
commitb0f1a54808f1d7dd3788eef50c31e1702018bb40 (patch)
tree35a5f4a06ff11f8b807d0b9ba72429ec782dc28a
parentd5bf898e17126bb4f0223b25cb8b00392cca3234 (diff)
downloadwebtools.jsf-b0f1a54808f1d7dd3788eef50c31e1702018bb40.tar.gz
webtools.jsf-b0f1a54808f1d7dd3788eef50c31e1702018bb40.tar.xz
webtools.jsf-b0f1a54808f1d7dd3788eef50c31e1702018bb40.zip
Bug 439906 - Web Page Editor should provide a mechanism to change thev201408081041
default value for the Editor's title image.
-rw-r--r--jsf/plugins/org.eclipse.jst.pagedesigner/src/org/eclipse/jst/pagedesigner/editors/HTMLEditor.java9
1 files changed, 9 insertions, 0 deletions
diff --git a/jsf/plugins/org.eclipse.jst.pagedesigner/src/org/eclipse/jst/pagedesigner/editors/HTMLEditor.java b/jsf/plugins/org.eclipse.jst.pagedesigner/src/org/eclipse/jst/pagedesigner/editors/HTMLEditor.java
index 2756820cf..6b9c42184 100644
--- a/jsf/plugins/org.eclipse.jst.pagedesigner/src/org/eclipse/jst/pagedesigner/editors/HTMLEditor.java
+++ b/jsf/plugins/org.eclipse.jst.pagedesigner/src/org/eclipse/jst/pagedesigner/editors/HTMLEditor.java
@@ -60,6 +60,7 @@ import org.eclipse.jst.pagedesigner.ui.preferences.PDPreferences;
import org.eclipse.jst.pagedesigner.utils.EditorUtil;
import org.eclipse.jst.pagedesigner.utils.PreviewUtil;
import org.eclipse.swt.SWT;
+import org.eclipse.swt.graphics.Image;
import org.eclipse.swt.layout.FillLayout;
import org.eclipse.swt.widgets.Composite;
import org.eclipse.swt.widgets.Display;
@@ -1298,4 +1299,12 @@ public final class HTMLEditor extends MultiPageEditorPart implements
}
}
+ /**
+ * Updates the editor's title image
+ * @param titleImage
+ */
+ public void updateTitleImage(Image titleImage) {
+ setTitleImage(titleImage);
+ }
+
}

Back to the top