Jules Aguillon
Jules Aguillon
The `width="15%"` idea is not enough to make this work and requires a way to mark the row as to be stretched. This is a big constraint on the implementation:...
It should also be possible to embed the same emoji font as Android, for example with `androidx.emoji2` (not easy as currently no external library is used), which is probably what...
The smallest of the two proposed changes is merged: https://github.com/ocaml-ppx/ocamlformat/pull/2425
Draft PR: https://github.com/ocaml-ppx/ocamlformat/pull/2544
Done in https://github.com/ocaml-ppx/ocamlformat/pull/2544
Hi! Word suggestion is tracked by this issue: https://github.com/Julow/Unexpected-Keyboard/issues/343 It's an enormous amount of work and requires code contributions! > Multi Language typing ( you type in English but the...
@Spike-from-NH I think you misunderstood this issue and https://github.com/Julow/Unexpected-Keyboard/issues/585 A layout is not enough, the keyboard must be able to rewrite the last few character that were already typed to...
This is not possible from the app but you can edit this file and rebuild the app: https://github.com/Julow/Unexpected-Keyboard/blob/master/res/xml/numeric.xml Next release date is not defined.
Oops I forgot about that. Here's the fix: https://github.com/jonludlam/sherlodoc/pull/1 (branch [`odoc3_breadcrumbs_library`](https://github.com/Julow/sherlodoc/tree/odoc3_breadcrumbs_library))
I'll put this PR as a draft while I work a bit more on breadcrumbs to be sure it's the right direction. We'll have to propagate the "short title" of...