Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorChristoph Caks2016-08-17 14:12:30 +0000
committerChristoph Caks2016-08-17 14:12:30 +0000
commite0656be05b414fbe86204357543490a1dbdd608e (patch)
tree6f2ed935b98dbecb18aa44f7f34bd4af0350972b /bundles/code/org.eclipse.fx.text
parented27e884c6dc1e8057a4e72e76158228bd8b6281 (diff)
downloadorg.eclipse.efxclipse-e0656be05b414fbe86204357543490a1dbdd608e.tar.gz
org.eclipse.efxclipse-e0656be05b414fbe86204357543490a1dbdd608e.tar.xz
org.eclipse.efxclipse-e0656be05b414fbe86204357543490a1dbdd608e.zip
fixes #5
Diffstat (limited to 'bundles/code/org.eclipse.fx.text')
-rw-r--r--bundles/code/org.eclipse.fx.text/src/org/eclipse/fx/text/hover/HTMLHoverInfo.java11
-rw-r--r--bundles/code/org.eclipse.fx.text/src/org/eclipse/fx/text/hover/HoverInfo.java15
2 files changed, 26 insertions, 0 deletions
diff --git a/bundles/code/org.eclipse.fx.text/src/org/eclipse/fx/text/hover/HTMLHoverInfo.java b/bundles/code/org.eclipse.fx.text/src/org/eclipse/fx/text/hover/HTMLHoverInfo.java
new file mode 100644
index 000000000..512b5ecf6
--- /dev/null
+++ b/bundles/code/org.eclipse.fx.text/src/org/eclipse/fx/text/hover/HTMLHoverInfo.java
@@ -0,0 +1,11 @@
+package org.eclipse.fx.text.hover;
+
+import org.eclipse.jface.text.IRegion;
+
+public class HTMLHoverInfo extends HoverInfo {
+
+ public HTMLHoverInfo(HoverInfoType type, IRegion region, CharSequence html, Object hoverModel) {
+ super(type, region, html, hoverModel);
+ }
+
+}
diff --git a/bundles/code/org.eclipse.fx.text/src/org/eclipse/fx/text/hover/HoverInfo.java b/bundles/code/org.eclipse.fx.text/src/org/eclipse/fx/text/hover/HoverInfo.java
index 1caeb9724..56e296105 100644
--- a/bundles/code/org.eclipse.fx.text/src/org/eclipse/fx/text/hover/HoverInfo.java
+++ b/bundles/code/org.eclipse.fx.text/src/org/eclipse/fx/text/hover/HoverInfo.java
@@ -8,12 +8,23 @@ public class HoverInfo {
private final IRegion region;
private final String hoverText;
private final Object hoverModel;
+
+ private final CharSequence hoverContent;
public HoverInfo(HoverInfoType type, IRegion region, String hoverText, Object hoverModel) {
this.type = type;
this.region = region;
this.hoverText = hoverText;
this.hoverModel = hoverModel;
+ this.hoverContent = hoverText;
+ }
+
+ public HoverInfo(HoverInfoType type, IRegion region, CharSequence hoverContent, Object hoverModel) {
+ this.type = type;
+ this.region = region;
+ this.hoverText = hoverContent.toString();
+ this.hoverModel = hoverModel;
+ this.hoverContent = hoverContent;
}
public HoverInfoType getType() {
@@ -27,6 +38,10 @@ public class HoverInfo {
public String getHoverText() {
return hoverText;
}
+
+ public CharSequence getHoverContent() {
+ return hoverContent;
+ }
public Object getHoverModel() {
return hoverModel;

Back to the top