1.1 --- a/src/Tools/jEdit/src/prover/MarkupNode.scala	Fri Jan 16 23:00:24 2009 +0100
     1.2 +++ b/src/Tools/jEdit/src/prover/MarkupNode.scala	Mon Jan 19 15:56:58 2009 +0100
     1.3 @@ -15,13 +15,10 @@
     1.4  
     1.5    def markup2default_node(node : MarkupNode) : DefaultMutableTreeNode = {
     1.6  
     1.7 -    class MyPos(val o : Int) extends Position {
     1.8 -      override def getOffset = o
     1.9 -    }
    1.10 +    implicit def int2pos(offset: Int): Position =
    1.11 +      new Position { def getOffset = offset }
    1.12  
    1.13 -    implicit def int2pos(x : Int) : MyPos = new MyPos(x)
    1.14 -
    1.15 -    object RelativeAsset extends IAsset{
    1.16 +    object RelativeAsset extends IAsset {
    1.17        override def getIcon : Icon = null
    1.18        override def getShortString : String = node.short
    1.19        override def getLongString : String = node.long