This my have been discussed previously, but I can't find a specific reference to it.
Platform is ArduinoIDE 2.0 on a MacBook Pro M1.
I'm using an Arduino Leonardo ETH and I have various libraries installed in the IDE.
Recently I was using a DS3231 RTC and I had RTCLib installed as a library and although it worked OK, I realised that it was for the wrong RTC module, so I uninstalled RTCLib and installed DS3231 instead and altered the code commands to suit, including #include<DS3231.h>. This was working fine and I could see the DS3231 library in the Libraries Manager as Installed.
I created a new sketch with a different name and used the same #includes copied from the previous sketch, but the compiler errored out as it couldn't find the DS3231.h file. Sometimes closing the file and re-opening it clears the issue, so I did that and it then compiled OK. However, I now can't find the DS3231 library in the Libraries Manager - nothing showing as Installed.
The DS3231 library msut be installed, because the DS3231.h include is referencing it and it compiles correctly.
All of my libraries are stored in the libraries folder which is within the Arduino folder along with all of my sketches. The Arduino folder is the one that the IDE created when I installed it.
Can anyone help with getting the IDE to display the DS3231 library as Installed?