Renaming a local library

I saw an old post here about renaming an entire project in the web IDE, and that works as described … but not libraries. I would like my local libraries to have intelligent names, not “lib1.cpp” and “lib1.h” - can this be done?

So long as you change that name in all the relevant places, then that should be doable :slight_smile:

OK I got it. I was looking for how to do it, it wasn’t obvious to me that you double click the filename you want to rename on the TAB. I was trying to do it on the left (what I’d call the “project navigator”) but it doesn’t work there.