Tweaks to address some edge cases

harshad1 · Oct 31, 2023 · 36dcce4 · 36dcce4
1 parent cbd54be
commit 36dcce4
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/app/src/main/java/net/gsantner/markor/frontend/textview/HighlightingEditor.java b/app/src/main/java/net/gsantner/markor/frontend/textview/HighlightingEditor.java
@@ -428,7 +428,7 @@ public void insertOrReplaceTextOnCursor(final String newText) {
 
             if (newCursorPos >= 0) {
                 setSelection(sel[0] + newCursorPos);
-                TextViewUtils.showSelection(this);
+                postDelayed(() -> TextViewUtils.showSelection(this), 500);
             }
         }
     }

diff --git a/app/src/main/java/net/gsantner/markor/frontend/textview/TextViewUtils.java b/app/src/main/java/net/gsantner/markor/frontend/textview/TextViewUtils.java
@@ -728,7 +728,10 @@ public static boolean isViewVisible(final View view) {
     // Check if keyboard open. Only available after android 11 :(
     public static Boolean isImeOpen(final View view) {
         if (Build.VERSION.SDK_INT >= Build.VERSION_CODES.R) {
-            return view.getRootWindowInsets().isVisible(WindowInsets.Type.ime());
+            final WindowInsets insets = view.getRootWindowInsets();
+            if (insets != null) {
+                insets.isVisible(WindowInsets.Type.ime());
+            }
         }
         return null; // Uncertain
     }