diff options
author | Christoph Caks | 2016-08-17 14:12:30 +0000 |
---|---|---|
committer | Christoph Caks | 2016-08-17 14:12:30 +0000 |
commit | e0656be05b414fbe86204357543490a1dbdd608e (patch) | |
tree | 6f2ed935b98dbecb18aa44f7f34bd4af0350972b /bundles/code/org.eclipse.fx.text | |
parent | ed27e884c6dc1e8057a4e72e76158228bd8b6281 (diff) | |
download | org.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.java | 11 | ||||
-rw-r--r-- | bundles/code/org.eclipse.fx.text/src/org/eclipse/fx/text/hover/HoverInfo.java | 15 |
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; |