# HG changeset patch
# User Matti Hamalainen <ccr@tnsp.org>
# Date 1535023006 -10800
# Node ID 43b41376aad06557ac653ca7b80fc7e8ff3a5809
# Parent  1cb7ecd735541e761980052b146e13342bfdc472
Implement UI scale in launcher parameters (no UI widget yet).

diff -r 1cb7ecd73554 -r 43b41376aad0 mpui.js
--- a/mpui.js	Thu Aug 23 14:11:32 2018 +0300
+++ b/mpui.js	Thu Aug 23 14:16:46 2018 +0300
@@ -229,11 +229,13 @@
       }
     }
 
-    if (sargs.length > 2)
+    if (sargs.length >= 3)
     {
       mpForcedWidth = parseInt(sargs[1]);
       mpForcedHeight = parseInt(sargs[2]);
     }
+    if (sargs.length >= 4)
+      mpUIScale = parseInt(sargs[3]);
   }
   else
     mpURL = slink;