Dorian Lesbre

Add hover provider

1

Displays type in a tooltip when placing the mouse over an identifier. This works by sending a `Check ${id_under_cursor}.` or `Locate ${notation_under_cursor}`, to the server and formatting the response to...

This fixes #298 Adds missing syntax colors to: - keywords `Instance`, `Program Instance`, `Coercion`, `Context`, `Include`, `Search`, `Structure`, `Generalizable All`, `Generalizable Variables` `Existing Instance`, `Existing Class`, `Variant`, `About`, `Locate`, `Inline`...

This adds the VSCoq logo to coq files in the editor (sidebar and tabs). We might want to use the more official Coq logo (eg the favicon of https://coq.inria.fr/) but...

Missing color for "Instance" and "Context" keyword

3

Coq "Context" and "Instance" keywords are not colored like other keyword (e.g. "Variable" and "Definiton"). Also of note : the brackets for record/instances `{|` and `|}` aren't colored properly, only...

Feature request: type based autocompletion

2

**Disclaimer:** I'm not sure if this is the right place to post this. It might need to go to [ocamllabs/vscode-ocaml-platform](https://github.com/ocamllabs/vscode-ocaml-platform). One feature I'd really like is some sort of type...

**Describe the bug** The `latex_to_unicode` function can fail with a rather obsure type error: ``` Traceback (most recent call last): File "", line 1, in File "/home/dorian/Programs/github/bibtex-autocomplete/venv/lib/python3.11/site-packages/bibtexparser/latexenc.py", line 65, in...

New problem when typing custom `Model.objects` in version 1.13.1

4

# Bug report ## What's wrong After updating to version 1.13.1 I've add a new typing problem appear in my models file. Here is a simplistic version. This file contains...

FR: Add explicit link texts

1

## Is Your Feature Request Related to a Problem? Please Describe. I had an issue with obsidian links. Updating them can change how a text reads. I like my links...

Add syntax color to: - odoc tables (added in odoc 2.3), - odoc headings with labels (`{1:label heading}`) - code block with attributes (used by [mdx](https://ocaml.org/p/mdx/latest)). - also color `{@ocaml...

I've recently built a documentation website for an ocaml package, and wanted to customize the page generated by `dune build @doc` (include the content in my own website). The `@doc-json`...