For the time being, does anybody have a workaround for deactivating dead keys in spite of this bug? It would be very helpful for programmers like me.
For the time being, does anybody have a workaround for deactivating dead keys in spite of this bug? It would be very helpful for programmers like me.