anchor.diff:        event.preventDefault();
         if (isValidFilename(newFilename))  {
           ok.button('enable');
  -        if (event.keyCode == $.ui.keyCode.ENTER) {
  +        if (event.keyCode === $.ui.keyCode.ENTER) {
             okClicked(newFilename);
             ok.closest('.ui-dialog').remove();
           }
  
positive.code:     });
  
      const lastDot = initialFilename.lastIndexOf('.');
      const end = (lastDot != -1) ? lastDot : initialFilename.length;
      input[0].setSelectionRange(0, end);
  
      fileOperationDialog.dialog('open');
  
negative.code:   fileRename.click(() => {
      const initialFilename = cd.currentFilename();
      const okInitiallyDisabled = true;
      const okClicked = filename => {
        cd.renameFile(initialFilename, filename);
        cd.loadFile(filename);
      };
  