# HG changeset patch
# User wenzelm
# Date 1397644356 -7200
# Node ID e7e20d72756a1597a04e3541c96fa28e6d909d52
# Parent  8f80a243857deade7a61a95c7dc6ed6805fe98b0
capitalize fully (like in Emacs);

diff -r 8f80a243857d -r e7e20d72756a src/Pure/General/word.scala
--- a/src/Pure/General/word.scala	Wed Apr 16 12:26:12 2014 +0200
+++ b/src/Pure/General/word.scala	Wed Apr 16 12:32:36 2014 +0200
@@ -37,7 +37,7 @@
     if (str.length == 0) str
     else {
       val n = Character.charCount(str.codePointAt(0))
-      uppercase(str.substring(0, n)) + str.substring(n)
+      uppercase(str.substring(0, n)) + lowercase(str.substring(n))
     }
 
   sealed abstract class Case