Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned output;
authorwenzelm
Thu, 01 May 2014 22:41:03 +0200
changeset 56814 eb8f2a5a57ad
parent 56813 80a5905c1610
child 56815 848d507584db
tuned output;
src/Tools/jEdit/src/isabelle_sidekick.scala file | annotate | diff | comparison | revisions 
--- 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))
isabelle