From e844091cdcbc8db8bce173f3b4cad57970ab4b43 Mon Sep 17 00:00:00 2001
From: Dan Helfman <dan@luminotes.com>
Date: Sat, 9 Aug 2008 01:05:12 -0700
Subject: [PATCH] "There isn't a title column." -> "There is no title column."

---
 static/js/Wiki.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/static/js/Wiki.js b/static/js/Wiki.js
index f3b8f64..9e130a4 100644
--- a/static/js/Wiki.js
+++ b/static/js/Wiki.js
@@ -2199,7 +2199,7 @@ Wiki.prototype.display_import_notebook = function ( result ) {
   var titles_select = createDOM( "select", { "name": "title_column" } );
   column_number = 1;
 
-  appendChildNodes( titles_select, createDOM( "option", { "value": "None" }, "There isn't a title column." ) );
+  appendChildNodes( titles_select, createDOM( "option", { "value": "None" }, "There is no title column." ) );
   for ( i in result.rows[ 0 ] ) {
     var element = result.rows[ 0 ][ i ];
     appendChildNodes( titles_select, createDOM( "option", { "value": i }, "column " + column_number + " - " + element ) );