Jules Aguillon

Important work remain to be done: - [ ] TLS is not implemented by `cohttp-eio`. It was previously done by `conduit`, which doesn't have a eio version yet. - [...

Does the issue with the configuration in vendored directories go away with `(vendored_dirs ..)` ? Doc: https://dune.readthedocs.io/en/stable/reference/dune/vendored_dirs.html

I think honoring ignored files before checking version is the right thing to do. Could you do it ?

Not everyone has the `esc` key, it is hidden by default. Typing on the space bar would replace the selected text with a space character. This seemed dangerous to me...

Related: https://github.com/Julow/Unexpected-Keyboard/issues/1114 https://github.com/Julow/Unexpected-Keyboard/pull/1141

From this discussion, I'm not sure whether I should remove this or not. So I went with merging https://github.com/Julow/Unexpected-Keyboard/pull/1141 My future plan with selection mode is to show copy, paste...

The keyboard now hides the diacritics if all the accented letters needed for your language are already on the keyboard. It might also replace the diacritic with the accented letter...

Sorry for the inconvenience. The goal of some of these changes was to make them move less often on other layouts and to make the US QWERTY layout more maintainable....

I don't think we have enough test on comments. Before closing this, it would be nice to rebase and run this again to have an idea of the current state,...

In the last 4 commits, I improve the code a lot and added the unregistration API. The test-case is uptodate: https://github.com/Julow/ocsigen-tictactoe/pull/1