Community
Participate
Working Groups
Similarily to hyperlinks, it would be nice to add the possiblity to add a Hover support to any text-based editor by declaring and composing extensions rather than having to subclass the editor. It seems to be mostly a matter of implementing an extension based getTextHover method in TextSourceViewerConfiguration , mimicking getHyperlinkDetectors could ne a nice way of doing it. Some other editor such as the SSE editors have implemented exactly this kind of thing. Maybe we could simply considering a copy-paste-adapt?
Mickael, it should be very cool to have this feature. But If you support this feature, please give the capability to sort the hover to retrieve the best match hover. I had a problem with Eclipse WTP WebResources to support hover for CSS class. See my explanation at https://github.com/angelozerr/eclipse-wtp-webresources#why-orgeclipseawstwebresourcesui and bug that I had created at https://bugs.eclipse.org/bugs/show_bug.cgi?id=444189
(In reply to Angelo ZERR from comment #1) > But If you support this feature, please give the capability to sort the > hover to retrieve the best match hover. IMO, it would be better to show all hover proposals at once, just like the 1st completion page shows proposals from all providers.
Makes sense. It's already there for the Java editor (org.eclipse.jdt.ui.javaEditorTextHovers).
New Gerrit change created: https://git.eclipse.org/r/75921
Gerrit change https://git.eclipse.org/r/75921 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.text.git/commit/?id=5bcb7ac5045743f9ec17895a9a12318dd90ea4cb
Currently, a given Generic Editor instance only accept a single hover provider. However, it's very likely that we need a way to include several providers and use the ones that make the most sense according to the location where hover is requested. Some priority tags are already declared in the extension point. Example of possible hovers on a given file: * Problems * Debug * Documentation * Content-assist The actual hover should either dispatch to one of the possible providers, or even consider creating an aggregation of those providers.
New Gerrit change created: https://git.eclipse.org/r/82861
Gerrit change https://git.eclipse.org/r/82861 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.text.git/commit/?id=d929f218362bd560d9a6e43bf62820b06a1dcf79
Generic Editor now support multiple hovers. They can be sorted one relatively to another using the isBefore and isAfter extensions attributes.