コード例 #1
0
 void InitializeMap()
 {
     if (_viewPort != null)
     {
         _viewPort.AreaChanged -= _viewPort_AreaChanged;
     }
     _zoomValue = 1000;
     _map       = new Map(10, _boxCount);
     _viewPort  = new ViewPort(_map, 5);
     _viewPort.ShowGridLines = _showGridLines;
     _viewPort.SetClientSize(ClientSize);
     _viewPort.AreaChanged += _viewPort_AreaChanged;
     _viewPort.SetDriver(_zoo);
     DisplayInfo();
     MapWidthChanged?.Invoke(this, _viewPort.Map.MapWidth);
     Invalidate();
 }
コード例 #2
0
        void InitializeMap()
        {
            var previousViewPort = _viewPort;

            if (previousViewPort != null)
            {
                previousViewPort.AreaChanged -= _viewPort_AreaChanged;
            }
            _map      = new Map(10, _boxCount);
            _viewPort = new ViewPort(_map, 5);
            _viewPort.ShowGridLines = previousViewPort?.ShowGridLines ?? false;
            _viewPort.SetClientSize(ClientSize);
            _viewPort.AreaChanged += _viewPort_AreaChanged;
            _viewPort.SetDriver(_zoo);
            DisplayInfo();
            MapWidthChanged?.Invoke(this, _viewPort.Map.MapWidth);
            Invalidate();
        }
コード例 #3
0
 public ZooViewPortControl()
 {
     DoubleBuffered         = true;
     _boxCount              = 10;
     _map                   = new Map(10, 11);
     _viewPort              = new ViewPort(_map, 1);
     _viewPort.AreaChanged += _viewPort_AreaChanged;
     _zoomMax               = 1000;
     _zoomMin               = 0;
     _zoomValue             = 1000;
     _zoomScale             = 50;
     _mousePressed          = false;
     _mouseDown             = new Point();
     _grab                  = new Cursor("ifm_grab.cur");
     _grabbing              = new Cursor("ifm_move.cur");
     _drawWatch             = new Stopwatch();
     _zooWatch              = new Stopwatch();
     _timer                 = new System.Timers.Timer();
     _timer.Elapsed        += new ElapsedEventHandler(OnTimedEvent);
     _timer.Interval        = 1000;
     _timer.Start();
 }