2020-01-12 19:05:09 +01:00
|
|
|
import BasicWidget from "./basic_widget.js";
|
|
|
|
|
|
|
|
export default class TabAwareWidget extends BasicWidget {
|
2020-01-18 18:01:16 +01:00
|
|
|
setTabContext(tabContext) {
|
2020-01-12 19:05:09 +01:00
|
|
|
/** @var {TabContext} */
|
2020-01-16 22:44:36 +01:00
|
|
|
this.tabContext = tabContext;
|
2020-01-18 18:01:16 +01:00
|
|
|
|
|
|
|
this.eventReceived('tabNoteSwitched', {tabId: this.tabContext.tabId});
|
2020-01-12 19:05:09 +01:00
|
|
|
}
|
|
|
|
|
2020-01-18 18:01:16 +01:00
|
|
|
tabNoteSwitchedListener({tabId}) {
|
|
|
|
if (this.tabContext && tabId === this.tabContext.tabId) {
|
|
|
|
this.noteSwitched();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
noteSwitched() {}
|
|
|
|
|
2020-01-12 19:05:09 +01:00
|
|
|
// to override
|
|
|
|
activeTabChanged() {}
|
|
|
|
|
|
|
|
activeTabChangedListener() {
|
|
|
|
this.tabContext = this.appContext.getActiveTabContext();
|
|
|
|
|
|
|
|
this.activeTabChanged();
|
|
|
|
}
|
|
|
|
}
|