Skip to content

Commit 7260268

Browse files
seiranijtpio
authored andcommitted
prettier lint test fixes
1 parent fd27d16 commit 7260268

File tree

1 file changed

+26
-29
lines changed

1 file changed

+26
-29
lines changed

packages/application/src/shell.ts

+26-29
Original file line numberDiff line numberDiff line change
@@ -118,9 +118,8 @@ export class NotebookShell extends Widget implements JupyterFrontEnd.IShell {
118118
this.layout = rootLayout;
119119

120120
// Added Skip to Main Link
121-
const skipLinkWidgetHandler = (this._skipLinkWidgetHandler = new Private.SkipLinkWidgetHandler(
122-
this
123-
));
121+
const skipLinkWidgetHandler = (this._skipLinkWidgetHandler =
122+
new Private.SkipLinkWidgetHandler(this));
124123

125124
this.add(skipLinkWidgetHandler.skipLinkWidget, 'top', { rank: 0 });
126125
this._skipLinkWidgetHandler.show();
@@ -374,37 +373,35 @@ export namespace Shell {
374373
export type Area = 'main' | 'top' | 'left' | 'right' | 'menu';
375374
}
376375

377-
378376
export namespace Private {
379-
380377
export class SkipLinkWidgetHandler {
381-
/**
382-
* Construct a new skipLink widget handler.
383-
*/
384-
constructor(shell: INotebookShell) {
385-
const skipLinkWidget = (this._skipLinkWidget = new Widget());
386-
const skipToMain = document.createElement('a');
387-
skipToMain.href = '#first-cell';
388-
skipToMain.tabIndex = 1;
389-
skipToMain.text = 'Skip to Main';
390-
skipToMain.className = 'skip-link';
391-
skipToMain.addEventListener('click', this);
392-
skipLinkWidget.addClass('jp-skiplink');
393-
skipLinkWidget.id = 'jp-skiplink';
394-
skipLinkWidget.node.appendChild(skipToMain);
395-
}
378+
/**
379+
* Construct a new skipLink widget handler.
380+
*/
381+
constructor(shell: INotebookShell) {
382+
const skipLinkWidget = (this._skipLinkWidget = new Widget());
383+
const skipToMain = document.createElement('a');
384+
skipToMain.href = '#first-cell';
385+
skipToMain.tabIndex = 1;
386+
skipToMain.text = 'Skip to Main';
387+
skipToMain.className = 'skip-link';
388+
skipToMain.addEventListener('click', this);
389+
skipLinkWidget.addClass('jp-skiplink');
390+
skipLinkWidget.id = 'jp-skiplink';
391+
skipLinkWidget.node.appendChild(skipToMain);
392+
}
396393

397-
handleEvent(event: Event): void {
398-
switch (event.type) {
399-
case 'click':
400-
this._focusMain();
401-
break;
394+
handleEvent(event: Event): void {
395+
switch (event.type) {
396+
case 'click':
397+
this._focusMain();
398+
break;
399+
}
402400
}
403-
}
404401

405-
private _focusMain() {
406-
const input = document.querySelector(
407-
'#main-panel .jp-InputArea-editor'
402+
private _focusMain() {
403+
const input = document.querySelector(
404+
'#main-panel .jp-InputArea-editor'
408405
) as HTMLInputElement;
409406
input.tabIndex = 1;
410407
input.focus();

0 commit comments

Comments
 (0)