Niels Saurer
Niels Saurer
Is there a way to change the window's position on Windows 10? Even if it's just changing the display, I would really appreciate that. Great job on materialette!
While the dot format is currently supported for `MM.DD.YYYY`, this format does not set the `ambiguousMMDD` flag. This leads to issues mainly in fixes for #28 (such as #89), where...
(I'm opening a new issue since closed ones seem to get ignored) A while ago this PR was proposed #401 - it looked good to a reviewer, and it also...
A recent update to Z3 changed the returned sort in the `(Int, Int)` power function - it is now `Real` instead of `Int`: https://github.com/Z3Prover/z3/issues/5243 This leads to me getting a...
WIP This fixes #127, however does so in an ugly manner. I just changed every "$" to the SUBstiture character "␚", in hopes that it is used by no one....
There are LR-1 grammars for which gocc introduces unnecessary LR-1 conflicts, because it treats the symbol '$' and actual EOFs as the same token. No conflicts: ``` S : empty...
I was just playing around with this and didn't see it documented anywhere, so I figured posting here might help someone: If you have an encrypted backup of your files...
Tracking issue for (runtime) transliteration stabilization (Decide which of these issues are) blocking: - #3646 - #3825 - #3850 - #3909 - #3910 - #3911 - #3957 - #3950 -...
UnicodeSets should have more positive tests. If conformance tests are create for UnicodeSets, we should add those too. For now, ICU4C/ICU4J can be used as inspiration: * https://github.com/unicode-org/icu/blob/main/icu4j/main/tests/core/src/com/ibm/icu/dev/test/lang/UnicodeSetTest.java * https://github.com/unicode-org/icu/blob/main/icu4c/source/test/intltest/usettest.cpp
Allow users to select from a predefined set of templates that are used to fill the inserted pages. This could also be used to improve the `merge` functionality when merging...