From 026288f8099c9d590e484ebd2cd06228fc3a691b Mon Sep 17 00:00:00 2001
From: gnosygnu <gnosygnu@gmail.com>
Date: Mon, 8 Jun 2020 09:00:39 -0400
Subject: [PATCH] Css: Change java.lang.String.charAt to JsString_.charAt (with
 JsString_.charAt) [#741]

---
 .../src/gplx/langs/javascripts/JsString_.java | 25 +++++++++++++++++++
 1 file changed, 25 insertions(+)

diff --git a/400_xowa/src/gplx/langs/javascripts/JsString_.java b/400_xowa/src/gplx/langs/javascripts/JsString_.java
index e82e9e61f..96bfaf068 100644
--- a/400_xowa/src/gplx/langs/javascripts/JsString_.java
+++ b/400_xowa/src/gplx/langs/javascripts/JsString_.java
@@ -1,6 +1,7 @@
 package gplx.langs.javascripts;
 
 import gplx.Err_;
+import gplx.String_;
 import gplx.langs.javascripts.util.regex.JsPattern_;
 
 import java.util.concurrent.ConcurrentHashMap;
@@ -8,6 +9,30 @@ import java.util.regex.Matcher;
 import java.util.regex.Pattern;
 
 public class JsString_ {
+	public static boolean charAtEq(String s, int i, char m) {
+		int len = s.length();
+		if (i < 0 || i >= len) {
+			return false;
+		} else {
+			return s.charAt(i) == m;
+		}
+	}
+	public static boolean charAtEqNot(String s, int i, char m) {
+		int len = s.length();
+		if (i < 0 || i >= len) {
+			return false;
+		} else {
+			return s.charAt(i) != m;
+		}
+	}
+	public static String charAt(String s, int i) {
+		int len = s.length();
+		if (i < 0 || i >= len) {
+			return String_.Empty;
+		} else {
+			return Character.toString(s.charAt(i));
+		}
+	}
 	public static String slice(String str, int beginIndex) {
 		return slice(str, beginIndex, str.length());
 	}