This machine mirrors various open-source projects.
	20 Gbit/s uplink.
	
	If there are any issues or you want another project mirrored, please contact
	mirror-service -=AT=- netcologne DOT de ! 
| activate() | WorldViewZoomTool |  [virtual] | 
| deactivate() | WorldViewTool |  [inline, virtual] | 
| draw_background(ZoomGraphicContext *gc) | WorldViewZoomTool |  [inline, virtual] | 
| draw_foreground(ZoomGraphicContext *gc) | WorldViewZoomTool |  [virtual] | 
| on_button_press(int button_id, int x, int y) | WorldViewTool |  [inline, virtual] | 
| on_delete_press(int x, int y) | WorldViewTool |  [inline, virtual] | 
| on_duplicate_press(int x, int y) | WorldViewTool |  [inline, virtual] | 
| on_fix_press(int x, int y) | WorldViewTool |  [inline, virtual] | 
| on_mouse_move(int x, int y, int of_x, int of_y) | WorldViewTool |  [inline, virtual] | 
| on_primary_button_press(int x, int y) | WorldViewZoomTool |  [virtual] | 
| on_primary_button_release(int x, int y) | WorldViewZoomTool |  [virtual] | 
| on_secondary_button_press(int x, int y) | WorldViewTool |  [inline, virtual] | 
| on_secondary_button_release(int x, int y) | WorldViewTool |  [inline, virtual] | 
| WorldViewTool() | WorldViewTool |  [inline] | 
| WorldViewZoomTool() | WorldViewZoomTool | |
| ~WorldViewTool() | WorldViewTool |  [inline, virtual] | 
| ~WorldViewZoomTool() | WorldViewZoomTool | 
 1.3-rc3
1.3-rc3 
  