commit 6fd3af4d016e30289c499439f8c91c32ef9434ec
Author: Leszek Koltunski <leszek@distoretedandroid.org>
Date:   Thu Dec 15 13:54:09 2016 +0000

    onPause(): fix the Save app. All apps should behave correctly now.

diff --git a/src/main/java/org/distorted/examples/save/SaveRenderer.java b/src/main/java/org/distorted/examples/save/SaveRenderer.java
index 20603b7..b0b9a56 100644
--- a/src/main/java/org/distorted/examples/save/SaveRenderer.java
+++ b/src/main/java/org/distorted/examples/save/SaveRenderer.java
@@ -225,7 +225,7 @@ class SaveRenderer implements GLSurfaceView.Renderer
 
     InputStream is = mView.getContext().getResources().openRawResource(R.raw.girl);
     Bitmap bitmap;
-        
+
     try
       {
       bitmap = BitmapFactory.decodeStream(is);
@@ -246,7 +246,7 @@ class SaveRenderer implements GLSurfaceView.Renderer
     mGirl = new DistortedTexture(bmpWidth,bmpHeight);
     mGirl.setTexture(bitmap);
 
-    mOffscreen = new DistortedFramebuffer(bmpWidth,bmpHeight);
+    mOffscreen = new DistortedFramebuffer( (int)(mScale*bmpWidth) , (int)(mScale*bmpHeight) );
 
     try
       {