equal
deleted
inserted
replaced
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; |