android webview is too slow, using geckoview instead

Author: functora

ghcjs/currency-converter/Main.hs

@@ -545,7 +545,7 @@ amountWidget st loc =
       (parseMoney input == Just output)
         || (input == inspectMoneyAmount output)
     onBlurAction =
-      pureUpdate 0 $ \st' ->
+      pureUpdate 300 $ \st' ->
         if valid
           then st'
           else

ghcjs/currency-converter/android.nix

@@ -51,6 +51,7 @@ with (import ./default.nix); let
           --android --assetPath static
         ${pkgs.nodejs}/bin/npx trapeze run trapeze.yaml -y \
           --android-project android
+        printf "include ':capacitor-android'\nproject(':capacitor-android').projectDir = new File('../../../pub/capacitor-geckoview/capacitor')" > ./android/capacitor.settings.gradle
       )
     '';
   };

ghcjs/currency-converter/trapeze.yaml

@@ -9,3 +9,17 @@ platforms:
         target: manifest/application/activity
         attrs:
           android:label: "@string/app_name"
+    gradle:
+      - file: build.gradle
+        target:
+          allprojects:
+            repositories:
+        replace:
+          repositories: |
+            {
+                maven {
+                    url 'https://maven.mozilla.org/maven2/'
+                }
+                google()
+                mavenCentral()
+            }