#6423 fix compilation errors

twosigma · Feb 1, 2018 · b35d47a · b35d47a
1 parent 80db587
commit b35d47a
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 4 deletions.
diff --git a/js/notebook/src/easyForm/comboBoxWidget.ts b/js/notebook/src/easyForm/comboBoxWidget.ts
@@ -42,7 +42,8 @@ class ComboBoxView extends widgets.SelectView {
     this.listbox.setAttribute('size', this.model.get('size'));
 
     setTimeout(() => {
-      $(this.listbox).combobox({
+      let listbox:any = $(this.listbox);
+      listbox.combobox({
         change: this.setValueToModel.bind(this),
       });
 

diff --git a/js/notebook/src/extension/gistPublish/index.ts b/js/notebook/src/extension/gistPublish/index.ts
@@ -101,7 +101,7 @@ function doPublish(personalAccessToken): void {
     }
   };
 
-  return $.ajax(gistsUrl, settings).catch((jqXHR, status, err) => {
+  $.ajax(gistsUrl, settings).catch((jqXHR, status, err) => {
     let errorMsg = jqXHR.readyState === 0 && !err ? 'NETWORK ERROR!' : err;
 
     if (jqXHR.responseJSON && jqXHR.responseJSON.message) {

diff --git a/js/notebook/src/tableDisplay/tableHeaderMenu/HeaderMenu.ts b/js/notebook/src/tableDisplay/tableHeaderMenu/HeaderMenu.ts
@@ -167,7 +167,7 @@ export default abstract class HeaderMenu implements MenuInterface {
     return submenu;
   }
 
-  private handleKeydownEvent(event: KeyboardEvent): void {
+  private handleKeydownEvent(event): void {
     this.menu.isVisible && this.menu.handleEvent(event);
   }
 
@@ -194,7 +194,8 @@ export default abstract class HeaderMenu implements MenuInterface {
       })
       .on('keydown.keyTable', '.dropdown-menu-search input', function(event) { event.stopImmediatePropagation(); })
       .on('keyup.HeaderMenu, change', '.dropdown-menu-search input', function(event) {
-        const searchExp = this.value ? new RegExp(this.value, 'i') : null;
+        let value = (this as HTMLInputElement).value;
+        const searchExp = value ? new RegExp(value, 'i') : null;
 
         if (event.keyCode === 27) {
           menu.close();