On Tue, 6 Dec 2022 13:34:49 GMT, Magnus Ihse Bursie <i...@openjdk.org> wrote:
>> It's more just me trying to preserve the original names, I don't really want >> to change too many things here. I'll change them to DEFAULT_ instead if you >> prefer that though. I don't feel like this is my decision to make >> >> Sorry for taking so long to reply, half the keys don't work on this >> disintegrating piece of junk (such as the letter "t"), I've had to Ctrl+C >> Ctrl+V all the letters that are broken on this keyboard just to get coherent >> messages out > > Hm. I'm beginning to regret my request to rename these variables. Let me go > back to the code where this was used to see if there could be a better way to > solve this. I'll revert the changes to the names for now in that case ------------- PR: https://git.openjdk.org/jdk/pull/11020