140 | {IdentityDiv()}
141 |
handleClick()}>
142 |
143 |
144 |
145 | );
146 | }
147 |
148 | export class PanelHeader extends ReactWidget {
149 | constructor(options: PanelHeader.IOptions) {
150 | super();
151 | const { panel } = options;
152 | this._panel = panel;
153 | this.addClass('jc-panelHeader');
154 | }
155 |
156 | render(): ReactRenderElement {
157 | const refresh = () => {
158 | const fileWidget = this._panel.fileWidget;
159 | if (fileWidget == null) {
160 | return;
161 | }
162 |
163 | fileWidget.initialize();
164 | };
165 |
166 | const save = () => {
167 | const fileWidget = this._panel.fileWidget;
168 | if (fileWidget == null) {
169 | return;
170 | }
171 |
172 | void fileWidget.context.save();
173 | refresh();
174 | };
175 |
176 | return (
177 |