Sun, 01 Feb 2009 13:32:36 +0100 | immler | renamed fields of MarkupNode; implemented flatten and leafs | file | diff | annotate |
Tue, 27 Jan 2009 19:27:59 +0100 | wenzelm | tuned whitespace; | file | diff | annotate |
Mon, 19 Jan 2009 15:56:58 +0100 | wenzelm | simplified implicit convertion Int => Position; | file | diff | annotate |
Fri, 19 Dec 2008 22:24:32 +0100 | wenzelm | added some headers and comments; | file | diff | annotate |
Wed, 10 Dec 2008 19:51:15 +0100 | immler | information on command-phase left of scrollbar | file | diff | annotate |
Wed, 10 Dec 2008 14:45:04 +0100 | immler | structure of markup-tree in scala, keep track of swing-nodes in background | file | diff | annotate |
Mon, 08 Dec 2008 19:11:06 +0100 | immler | MarkupNode instead of DefaultMutableTreeNode and RelativeAsset | file | diff | annotate | base |