Revision 41418 trunk/org.gvsig.desktop/org.gvsig.desktop.plugin/org.gvsig.app/org.gvsig.app.mainplugin/src/main/java/org/gvsig/app/extension/ViewControls.java

View differences:

ViewControls.java
43 43 
import org.gvsig.app.project.documents.view.gui.IView;
44 44 
import org.gvsig.app.project.documents.view.toc.gui.FPopupMenu;
45 45 
import org.gvsig.app.project.documents.view.toolListeners.snapping.Snapping;
46 
import org.gvsig.fmap.geom.primitive.Envelope;
46 47 
import org.gvsig.fmap.mapcontext.MapContext;
47 48 
import org.gvsig.fmap.mapcontext.layers.FLayer;
48 49 
import org.gvsig.fmap.mapcontext.layers.FLayers;
......
80 81 
        MapControl mapCtrl = view.getMapControl();
81 82 

  		




  82
  83
  
    
        if (command.equalsIgnoreCase("view-navigation-zoom-all")) {


  		




  83
  
  
    
            mapa.getViewPort().setEnvelope(mapa.getLayers().getFullEnvelope());


  		




  84
  
  
    
            document.setModified(true);


  		




  
  84
  
    
            Envelope all = mapa.getLayers().getFullEnvelope();


  		




  
  85
  
    
            if( all!=null && !all.isEmpty() ) {


  		




  
  86
  
    
                mapa.getViewPort().setEnvelope(all);


  		




  
  87
  
    
                document.setModified(true);


  		




  
  88
  
    
            }


  		




  85
  89
  
    

  		




  86
  90
  
    
        } else if (command.equalsIgnoreCase("view-navigation-frame-manager")) {


  		




  87
  91
  
    
            FPanelExtentSelector l = new FPanelExtentSelector();


  		












Also available in:  Unified diff