From c71988e70bece64f83cd055cafa57025a92030c6 Mon Sep 17 00:00:00 2001
From: Jan Andre Ikenmeyer <jan@ikenmeyer.eu>
Date: Sun, 10 Nov 2019 18:08:44 +0100
Subject: [PATCH] Make https the default protocol for address bar on Android,
 too.

---
 .../src/main/java/org/mozilla/servo/MainActivity.java         | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/support/android/apk/servoapp/src/main/java/org/mozilla/servo/MainActivity.java b/support/android/apk/servoapp/src/main/java/org/mozilla/servo/MainActivity.java
index d044b39423e..e4ef5a51b52 100644
--- a/support/android/apk/servoapp/src/main/java/org/mozilla/servo/MainActivity.java
+++ b/support/android/apk/servoapp/src/main/java/org/mozilla/servo/MainActivity.java
@@ -112,6 +112,10 @@ public class MainActivity extends Activity implements Servo.Client {
             uri =  URLUtil.composeSearchUrl(text, "https://duckduckgo.com/html/?q=%s", "%s");
         } else {
             uri = URLUtil.guessUrl(text);
+
+            if (uri.startsWith("http://") && !text.startsWith("http://")) {
+                uri = uri.replaceFirst("http://", "https://");
+            }
         }
 
         mServoView.loadUri(Uri.parse(uri));