diff --git a/notebook/static/terminal/js/main.js b/notebook/static/terminal/js/main.js index e30f86b52..b71c5edeb 100644 --- a/notebook/static/terminal/js/main.js +++ b/notebook/static/terminal/js/main.js @@ -40,7 +40,6 @@ requirejs([ page.show_header(); - // var size = calculate_size(); var terminal = terminado.make_terminal($("#terminado-container")[0], ws_url); page.show_site();