Jules Aguillon

Results 670 comments of Jules Aguillon

Like the other similar requests, I do not plan to work on this in the near future. As always, contributions are welcome ! Related to https://github.com/Julow/Unexpected-Keyboard/issues/222 and https://github.com/Julow/Unexpected-Keyboard/issues/92

I would prefer a "custom theme" option for powerusers. I do not want themes to interferes with layouts and they are implemented in a compatible way: https://github.com/Julow/Unexpected-Keyboard/blob/master/srcs/juloo.keyboard2/Theme.java That's low on...

This seems popular and have been closed too quickly, re-opening. Reducing the number of option is a goal but we also want to keep the reasonable options that people care...

This is done to improve compatibility with ocp-indent for those that use both in their formatting pipeline. This appeared in https://github.com/ocaml-ppx/ocamlformat/pull/2428 and can be avoided with the option `ocp-indent-compat=false` (`--no-ocp-indent-compat`...

There's no such backward compatibility options. We are very careful at the changes made to the default profile but that's not the case of the janestreet profile, which changes often.

Hi, thanks for pinging and sorry that the nix files are causing problems. I've written down the commands needed to update the inputs in flake.nix in https://github.com/robur-coop/albatross/pull/179 but that requires...

Sorry for the slow reply. I've added all of that in https://github.com/Julow/Unexpected-Keyboard/pull/807. Can you have a look at it and check whether everything works fine ? The debug build is...

The only problem is `zwnj`, which cannot be bound to `Fn+space` as that's already taken for `nbsp`. Do you have an other place to put it ?

Thanks for taking a look! I have done the fixes you listed, here's the new debug build: https://github.com/Julow/Unexpected-Keyboard/actions/runs/11990917674?pr=807 > As for Fn+space, I apologize for that oversight. It could just...