Searched refs:panes_updated_callback (Results 1 – 1 of 1) sorted by relevance
113 panes_updated_callback: () => void; property in Resizer117 constructor(panes_updated_callback: () => void, dead_width: number) {120 resizer.panes_updated_callback = panes_updated_callback;188 this.panes_updated_callback();