Editor: Disable richtext pasting which can lead to dropped characters…

…, by @gsantner, closes #1614
gsantner · Jun 5, 2022 · af50efb · af50efb
1 parent ae1abd4
commit af50efb
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/app/src/main/java/net/gsantner/markor/ui/hleditor/HighlightingEditor.java b/app/src/main/java/net/gsantner/markor/ui/hleditor/HighlightingEditor.java
@@ -192,6 +192,15 @@ public void withAutoFormatDisabled(final Callback.a0 callback) {
         }
     }
 
+    @Override
+    public boolean onTextContextMenuItem(int id) {
+        // Copy-paste fix by bad richtext pasting - example text from code at https://plantuml.com/activity-diagram-beta
+        if (Build.VERSION.SDK_INT >= Build.VERSION_CODES.M && id == android.R.id.paste) {
+            id = android.R.id.pasteAsPlainText;
+        }
+        return super.onTextContextMenuItem(id);
+    }
+
     private void cancelUpdate() {
         _updateHandler.removeCallbacks(_updateRunnable);
     }