- switched to using shorts instead of float/half-float

- fixed flickering caused by stencil/scissor combination on nexus
- added blending option for areas in rendertheme

src/org/mapsforge/android/swrenderer/GLMapTile.java

@@ -39,7 +39,6 @@ public class GLMapTile extends MapTile {
 	public GLMapTile(long tileX, long tileY, byte zoomLevel) {
 		super(tileX, tileY, zoomLevel);
 		mScale = 1;
-		isDrawn = false;
 		mTextureID = -1;
 	}
 

src/org/mapsforge/android/swrenderer/MapRenderer.java

@@ -212,7 +212,7 @@ public class MapRenderer implements org.mapsforge.android.IMapRenderer {
 
 				newTiles[tiles++] = tile;
 
-				if (!tile.isDrawn || (tile.getScale() != scale)) {
+				if (!tile.isReady || (tile.getScale() != scale)) {
 					tile.isLoading = true;
 					// approximation for TileScheduler
 					if (tileY < tileTop || tileY > tileBottom || tileX < tileLeft
@@ -455,7 +455,7 @@ public class MapRenderer implements org.mapsforge.android.IMapRenderer {
 				}
 
 				tile.setScale(mMapGeneratorJob.getScale());
-				tile.isDrawn = true;
+				tile.isReady = true;
 				tile.isLoading = false;
 
 				mMapGeneratorJob = null;