Bookmark symbols

By clicking the bookmark icon in search results, you can add a symbol to the bookmarks tab. Alternatively you can bookmark a symbol from a file by right clicking in it and selecting Bookmark symbol from the context menu. Bookmarked symbols will be persisted between editor restarts.