lib/browser/GraphBrowser/Vertex.java
changeset 6541 d3ac35b2bfbf
parent 3599 89cbba12863d
child 11798 fbab70de9b0d
equal deleted inserted replaced
6540:eaf90f6806df 6541:d3ac35b2bfbf
   200 
   200 
   201 	public boolean leftButton(int x,int y) { return false; }
   201 	public boolean leftButton(int x,int y) { return false; }
   202 
   202 
   203 	public boolean rightButton(int x,int y) { return false; }
   203 	public boolean rightButton(int x,int y) { return false; }
   204 
   204 
   205 	public void PS(PrintStream p) {}
   205 	public void PS(PrintWriter p) {}
   206 }
   206 }