From 2cbba6c762fc664bd4d4d0733c89192982d135d2 Mon Sep 17 00:00:00 2001
From: Brian Broll <brian.broll@gmail.com>
Date: Sat, 23 May 2015 17:09:45 -0500
Subject: [PATCH] Fixed #809

---
 gui.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gui.js b/gui.js
index 026a12cf..02d6b7c3 100644
--- a/gui.js
+++ b/gui.js
@@ -4733,8 +4733,8 @@ ProjectDialogMorph.prototype.getExamplesProjectList = function () {
             }
         }
     );
-    projects.sort(function (x, y) {
-        return x.name < y.name ? -1 : 1;
+    projects = projects.sort(function (x, y) {
+        return x.name.toLowerCase() < y.name.toLowerCase() ? -1 : 1;
     });
     return projects;
 };