Hello, I'm working on a tags file. The first one I made is a bit bloated, so I made a second, smaller one with a different file name. I'm assuming that when a tags file is loaded, it is just appended to the list of current tags, so loading my stripped down version would not allow me to see if I missed anything. Is there a way to unload a tags file?
On Mon, 29 Jul 2024 at 05:08, ba-open-git via Users users@lists.geany.org wrote:
Hello, I'm working on a tags file. The first one I made is a bit bloated, so I made a second, smaller one with a different file name. I'm assuming that when a tags file is loaded, it is just appended to the list of current tags, so loading my stripped down version would not allow me to see if I missed anything. Is there a way to unload a tags file?
Only closing and re-opening Geany.
Cheers Lex
Users mailing list -- users@lists.geany.org To unsubscribe send an email to users-leave@lists.geany.org