search

slatex / sTeX

A semantic Extension of TeX/LaTeX
49 stars 9 forks source link

Remove URI from tooltips ('fragment' URLs) #359

Closed abchugh closed 1 year ago

abchugh commented 1 year ago

A user can access these by clicking the element. Optionally, in case no info other than URI is available, we can have something like so: "Concept state in module [link]Turing Machine" for URI ""http://...?turing-machine?state"

abchugh commented 1 year ago

Also, remove the TeX Macro line.

abchugh commented 1 year ago

Also, consider removing the Type line especially when its Type None. Example for 'Prolog': http://mathhub.info/MiKoMH/AI/prolog/mod?logic-programming-intro?PrologLanguage

kohlhase commented 1 year ago

Let me re-conceptualize this. The Hover should only give you the "student information" (definition and shortcut to a guided tour; maybe more in the future); for the developer information (type, URI, ...) we should have the onclick panel. There I would have the definition on the left and a "menu" on the right that gives you access to all of these things (I also expect this to grow in the future).

Jazzpirate commented 1 year ago

The most interesting aspect to solve here is "What to put in the hover when there is no document fragment associated with a symbol". The URI gave us something "informative" to put there, but in the ugliest way imaginable, but we should decide on a "default" - the URI can help with disambiguating between concepts with the same name. Consider the number of symbols with name "state" in the MiKoMHsphere - if even one of them does not have a definition, the URI still helps with distinguishing between e.g. "state" in a search problem or the "state" of a turing machine.

I will quickly hack something that says something along the lines of "Symbol state in Module TuringMachine" (ideally with links) if no definition exists, but I'm sure in the long run we can think of something better

kohlhase commented 1 year ago

I support this idea.

Jazzpirate commented 1 year ago

Done