There is a temporary fix to at least make it not horrible and make ctrl-minus more useable that has been approved that I attached to the bug. We are also looking at a better design to fix it more fully for the future. I'll leave the bug open until that better fix lands.
There is a temporary fix to at least make it not horrible and make ctrl-minus more useable that has been approved that I attached to the bug. We are also looking at a better design to fix it more fully for the future. I'll leave the bug open until that better fix lands.