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() | WorldViewTool |  [inline, virtual] | 
| deactivate() | WorldViewTool |  [inline, virtual] | 
| draw_background(ZoomGraphicContext *gc)=0 | WorldViewTool |  [pure virtual] | 
| draw_foreground(ZoomGraphicContext *gc)=0 | WorldViewTool |  [pure 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) | WorldViewTool |  [inline, virtual] | 
| on_primary_button_release(int x, int y) | WorldViewTool |  [inline, 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] | 
| ~WorldViewTool() | WorldViewTool |  [inline, virtual] | 
 1.3-rc3
1.3-rc3 
  