From 0d124e054e261fdface607a4e21afd176bfb729b Mon Sep 17 00:00:00 2001 From: Thomas Kluyver Date: Thu, 4 May 2017 12:43:12 +0100 Subject: [PATCH] Catch trying to rename to an empty filename Act as if the OK button is diabled. Closes gh-2475 --- notebook/static/edit/js/savewidget.js | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/notebook/static/edit/js/savewidget.js b/notebook/static/edit/js/savewidget.js index 31d7cc65d..7df4ed4d6 100644 --- a/notebook/static/edit/js/savewidget.js +++ b/notebook/static/edit/js/savewidget.js @@ -79,6 +79,11 @@ define([ class: "btn-primary", click: function () { var new_name = d.find('input').val(); + if (!new_name) { + // Reset the message + d.find('.rename-message').text("Enter a new filename:"); + return false; + } d.find('.rename-message').text("Renaming..."); d.find('input[type="text"]').prop('disabled', true); that.editor.rename(new_name).then(