src/Tools/jEdit/src/theories_dockable.scala
changeset 55877 65c9968286d5
parent 55618 995162143ef4
child 56208 06cc31dff138
     1.1 --- a/src/Tools/jEdit/src/theories_dockable.scala	Mon Mar 03 10:41:58 2014 +0100
     1.2 +++ b/src/Tools/jEdit/src/theories_dockable.scala	Mon Mar 03 10:59:33 2014 +0100
     1.3 @@ -40,7 +40,7 @@
     1.4                } model.node_required = !model.node_required
     1.5              }
     1.6            }
     1.7 -          else if (clicks == 2) PIDE.editor.goto(view, listData(index).node)
     1.8 +          else if (clicks == 2) PIDE.editor.goto_file(view, listData(index).node)
     1.9          }
    1.10        case MouseMoved(_, point, _) =>
    1.11          val index = peer.locationToIndex(point)