# HG changeset patch
# User wenzelm
# Date 1398976863 -7200
# Node ID eb8f2a5a57adff28f18505328eb9b65ac75fe8f8
# Parent  80a5905c16103e5311a2bcdf7bcbace04f371f37
tuned output;

diff -r 80a5905c1610 -r eb8f2a5a57ad src/Tools/jEdit/src/isabelle_sidekick.scala
--- a/src/Tools/jEdit/src/isabelle_sidekick.scala	Thu May 01 10:20:20 2014 +0200
+++ b/src/Tools/jEdit/src/isabelle_sidekick.scala	Thu May 01 22:41:03 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.perhaps_capitalize(s), offset, offset + line.length))
+          data.root.add(make_node(s, offset, offset + line.length))
         case Heading2(s) =>
           data.root.getLastChild.asInstanceOf[DefaultMutableTreeNode]
             .add(make_node(s, offset, offset + line.length))