arduino ide is pretty terrible anyway. Swap to your normal ide of choice, and start using PlatformIO. way better experience, and you can actually have all your important config in normal text files on git/etc.. instead of having to tweak UI settings in Arduino studio.