Suggestion: Make use_module(library(...)) point to the library documentation

[triska]

For example, when using:

:- use_module(library(assoc)).

Then library(assoc) would ideally be a hyperlink to the documentation of library(assoc), i.e., should be rendered as:

:- use_module(library(assoc)).

[JanWielemaker]

You mean in markdown cells or in the source? Problem with the source is that you want to be able to click and set the cursor to start editing. I'm considering to show a menu if you click on a link that provides access to the source and documentation. Not really made up my mind how to do that though.

[triska]

I mean primarily in the source. I think it would be great if for example "Ctrl + Click" would lead to the library documentation.

Alternatively, display a little menu when hovering over the link and include the link in the hover menu, much like the file path is currently displayed (but currently cannot be clicked).

[JanWielemaker]

All right. Something like that is in the planning, also to jump to definitions of predicates and caller locations. Mainly means I need to find a good way to open such menus and get this integrated into CodeMirror. One thing at a time ...