28 |
|
|
29 |
import javax.jws.soap.SOAPBinding.Style; |
import javax.jws.soap.SOAPBinding.Style; |
30 |
import javax.swing.Timer; |
import javax.swing.Timer; |
31 |
|
import javax.swing.border.Border; |
32 |
|
|
33 |
import org.apache.log4j.Logger; |
import org.apache.log4j.Logger; |
34 |
import org.geotools.feature.FeatureCollection; |
import org.geotools.feature.FeatureCollection; |
1721 |
requestStartRendering(); |
requestStartRendering(); |
1722 |
|
|
1723 |
} |
} |
1724 |
|
|
1725 |
|
public void setBorder(Border b) { |
1726 |
|
super.setBorder(b); |
1727 |
|
} |
1728 |
|
|
1729 |
/** |
/** |
1730 |
* Triggers to repaint (fast) and re-render (slow) the JMapPane. |
* Triggers to repaint (fast) and re-render (slow) the JMapPane. |
1746 |
// repaint(); |
// repaint(); |
1747 |
// } |
// } |
1748 |
|
|
1749 |
|
/** |
1750 |
|
* Set the new map area. |
1751 |
|
* @param newMapArea |
1752 |
|
* @return <code>true</code> if the mapArea has been changed and a repaint |
1753 |
|
* has been triggered. |
1754 |
|
*/ |
1755 |
public boolean setMapArea(final Envelope newMapArea) { |
public boolean setMapArea(final Envelope newMapArea) { |
1756 |
if (newMapArea == null) |
if (newMapArea == null) |
1757 |
return false; |
return false; |
1762 |
} |
} |
1763 |
|
|
1764 |
/** |
/** |
1765 |
|
* Set the new map area. |
1766 |
* @param newMapArea |
* @param newMapArea |
1767 |
* @return <code>true</code> if the mapArea has been changed and a repaint |
* @return <code>true</code> if the mapArea has been changed and a repaint |
1768 |
* has been triggered. |
* has been triggered. |