/// <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);
}
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);
}
}