commit 176004078ce51d4d1937ff014d68ce2615c0fa76
Author: Leszek Koltunski <leszek@distorted.org>
Date:   Fri Jul 15 23:07:55 2016 +0100

    Vertex3D: fix region size.

diff --git a/src/main/java/org/distorted/examples/vertex3d/Vertex3DActivity.java b/src/main/java/org/distorted/examples/vertex3d/Vertex3DActivity.java
index f5dc340..9a4b0c0 100644
--- a/src/main/java/org/distorted/examples/vertex3d/Vertex3DActivity.java
+++ b/src/main/java/org/distorted/examples/vertex3d/Vertex3DActivity.java
@@ -353,7 +353,6 @@ public class Vertex3DActivity extends Activity
     setVertexView();
     }
 
-
 ///////////////////////////////////////////////////////////////////////////////////////////////////
 
   public void onItemSelected(AdapterView<?> parent, View view, int pos, long id)
diff --git a/src/main/java/org/distorted/examples/vertex3d/Vertex3DRenderer.java b/src/main/java/org/distorted/examples/vertex3d/Vertex3DRenderer.java
index 18e63fe..b41e2e3 100644
--- a/src/main/java/org/distorted/examples/vertex3d/Vertex3DRenderer.java
+++ b/src/main/java/org/distorted/examples/vertex3d/Vertex3DRenderer.java
@@ -105,7 +105,7 @@ class Vertex3DRenderer implements GLSurfaceView.Renderer
 
     public void setRegion(float x, float y, float r)
       {
-      mFactorReg = mFactorObj*r/mRegion.getWidth();
+      mFactorReg = 2*mFactorObj*r/mRegion.getWidth();
       mRegionScalePoint.set(mFactorReg,mFactorReg,mFactorReg);
       }
 
@@ -153,7 +153,7 @@ class Vertex3DRenderer implements GLSurfaceView.Renderer
       Vertex3DActivity act = (Vertex3DActivity)mView.getContext();
       mMovePoint.set(mFactorObj*act.getCenterX(),mFactorObj*act.getCenterY(),0);
 
-      mFactorReg = mFactorObj*act.getRegionR()/regionSize;
+      mFactorReg = 2*mFactorObj*act.getRegionR()/regionSize;
       mRegionScalePoint.set(mFactorReg,mFactorReg,mFactorReg);
 
       Static3D rotateObj = new Static3D(mObjWidth/2,mObjHeight/2, 0);
diff --git a/src/main/res/raw/region.png b/src/main/res/raw/region.png
index 50bf70e..65f155e 100644
Binary files a/src/main/res/raw/region.png and b/src/main/res/raw/region.png differ