Sylvain Boilard

Add configuration option(s?) to make highlighting behave closer to what it was like in 2.2 .

2

Hello, I find myself unable to use the ``tuareg-highlight-all-operators`` option. After reading through #207 I tried enabling it inside Emacs using the ``customize-group`` function and even adding ``(setq tuareg-highlight-all-operators t)``...

Add function List.map_append.

5

Hi, This is a tail-recursive-modulo-cons implementation of a combination of `map` and `append` in a single function, with a noticeable performance and memory usage improvement. I found this function useful...

[draft] Implement the `popover` API.

1

Hello, This PR adds support for the `popover` API. See: - https://html.spec.whatwg.org/multipage/popover.html ; - https://developer.mozilla.org/en-US/docs/Web/API/Popover_API . Please let me know of any issue; in fact, I would appreciate your input...

Add `toggle` and `beforetoggle` events for the `popover` API.

1

Hello, This PR initially added support for `toggle` event handlers in `details` elements and was extended to support both `toggle` and `beforetoggle` events for the `popover` API. See: - https://html.spec.whatwg.org/multipage/popover.html...

Add support for the `popover` API and for the `name` attribute on `details` elements.

3

Hello, This PR initially added support for the `name` attribute and specifying a `toggle` event handler for a `details` element, and was extended to implement the `popover` API. See: -...