Fixed a bug which sometimes occured on touch devices.

The bug would prevent the viewport from properly changing size.

include/display.js

@@ -396,13 +396,13 @@ that.absY = function(y) {
 
 
 that.resize = function(width, height) {
-    c_prevStyle    = "";
+    c_prevStyle = "";
 
     fb_width = width;
     fb_height = height;
 
     rescale(conf.scale);
-    that.viewportChange();
+    that.viewportChange(0, 0, width, height);
 };
 
 that.clear = function() {

include/ui.js

@@ -21,7 +21,7 @@ window.onresize = function () {
     // the resolution of the session
     clearTimeout(resizeTimeout);
     resizeTimeout = setTimeout(function(){
-        UI.onresize(); 
+        UI.onresize();
     }, 500);
 };