You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
If I set code_navigation<>0 and if I have also installed CodeTree Bookmarks, the plugin takes the bookmarks entries as a real CodeTree entry, I think these need to be by-passed.
Hi @halfbrained
If I set code_navigation<>0 and if I have also installed CodeTree Bookmarks, the plugin takes the bookmarks entries as a real CodeTree entry, I think these need to be by-passed.