Merge pull request #2478 from takluyver/i2475

Catch trying to rename to an empty filename
9 years ago · d350377cc2
parent 94a0b8fd27 0d124e054e
commit d350377cc2
1 changed files with 5 additions and 0 deletions
--- 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(