Kemal Zebari 0060b8c4e5 Browser: Have BookmarksBarWidget signal bookmark changes for Tab ...

This fixes an issue with a tab not updating its bookmark button when
we either edit or delete a bookmark and the tab happens to be on the
same page associated with the bookmark URL. `BookmarksBarWidget`
"signals" a `Tab` object of any bookmark changes, where it will
update the bookmark button depending on if the current URL is an
existing bookmark or not.

2023-04-09 21:34:20 -06:00

12 KiB

Raw Blame History

View Raw