Example #1
0
 /// <summary>
 /// Every time a change is done on the extent, by means of a subscription the value of the extent is refreshed at
 /// the toolbar.
 /// </summary>
 /// <param name="mapExtent"></param>
 public void OnMapExtentChanged(MapExtent mapExtent)
 {
     if (gisOperations.GetMap() != null)
         this.ExtentInfo = "1:" + gisOperations.Resolution2Scale(gisOperations.GetMap().Resolution).ToString("########");
     //this.ExtentInfo = string.Format("{0};{1};{2};{3}", mapExtent.Extent.XMin, mapExtent.Extent.YMin
     //, mapExtent.Extent.XMax, mapExtent.Extent.YMax);
 }
Example #2
0
 private void Extend_Changed(object sender, ExtentEventArgs e)
 {
     Envelope extent = gisOperations.GetNormalizedExtent( e.NewExtent);
     MapExtent mapExtent = new MapExtent()
     { Extent = new MyExtent() { XMin = extent.XMin, YMin = extent.YMin, XMax = extent.XMax, YMax = extent.YMax } };
     mapExtentEvent.Publish(mapExtent);
     if (configuration.GetApplicationConfig().MapConfig.DisplayExtent)
     {
         string extentText = String.Format("x:{0:0} y:{1:0} X:{2:0} Y:{3:0}", extent.XMin, extent.YMin, extent.XMax, extent.YMax);
         HelpContents.DisplayHelp(extentText, regionManager,true);
     }
 }