lib/browser/GraphBrowser/GraphView.java
changeset 18018 82206a6c75c0
parent 14981 e73f8140af78
child 33686 8e33ca8832b1
equal deleted inserted replaced
18017:f6abeac6dcb5 18018:82206a6c75c0
    12 
    12 
    13 import java.awt.*;
    13 import java.awt.*;
    14 import java.awt.event.*;
    14 import java.awt.event.*;
    15 import java.io.*;
    15 import java.io.*;
    16 import java.util.*;
    16 import java.util.*;
    17 import awtUtilities.*;
       
    18 
    17 
    19 public class GraphView extends Canvas implements MouseListener, MouseMotionListener {
    18 public class GraphView extends Canvas implements MouseListener, MouseMotionListener {
    20 	Graph gra, gra2;
    19 	Graph gra, gra2;
    21 	GraphBrowser browser;
    20 	GraphBrowser browser;
    22 	Vertex v = null;
    21 	Vertex v = null;