--- a/src/Tools/jEdit/src/isabelle_sidekick.scala Wed Apr 16 21:51:41 2014 +0200
+++ b/src/Tools/jEdit/src/isabelle_sidekick.scala Thu Apr 17 10:54:10 2014 +0200
@@ -201,7 +201,7 @@
for (line <- split_lines(JEdit_Lib.buffer_text(buffer)) if !stopped) {
line match {
case Heading1(s) =>
- data.root.add(make_node(Word.capitalize(s), offset, offset + line.length))
+ data.root.add(make_node(Word.perhaps_capitalize(s), offset, offset + line.length))
case Heading2(s) =>
data.root.getLastChild.asInstanceOf[DefaultMutableTreeNode]
.add(make_node(s, offset, offset + line.length))