mirror of
https://github.com/gosticks/DefinitelyTyped.git
synced 2026-04-29 08:54:29 +00:00
On https://developer.chrome.com/extensions/tabs#event-onHighlighted it can be seen that the callback for `chrome.tabs.onHighlighted.addListener` receives an object with a `tabIds` property, but the currently used `HighlightInfo` interface only has a `tabs` property. I noticed that there exists a definition for a TabHighlightInfo interface which is currently unused. It looks as though `TabHighlightInfo` was meant to be used here, but by mistake the very similiar `HighlightInfo` was used instead.