[evolution/wip/mcrha/webkit-jsc-api] Workaround WebKitGTK+ bug
- From: Milan Crha <mcrha src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [evolution/wip/mcrha/webkit-jsc-api] Workaround WebKitGTK+ bug
- Date: Thu, 16 Jan 2020 09:52:23 +0000 (UTC)
commit 5b3cd72c031b3a8f34b6f34932ca5fd4078dbad1
Author: Milan Crha <mcrha redhat com>
Date: Thu Jan 16 10:54:12 2020 +0100
Workaround WebKitGTK+ bug
https://bugs.webkit.org/show_bug.cgi?id=206341
data/webkit/e-undo-redo.js | 7 ++++++-
1 file changed, 6 insertions(+), 1 deletion(-)
---
diff --git a/data/webkit/e-undo-redo.js b/data/webkit/e-undo-redo.js
index 23382fceee..15ac70482d 100644
--- a/data/webkit/e-undo-redo.js
+++ b/data/webkit/e-undo-redo.js
@@ -456,7 +456,7 @@ EvoUndoRedo.inputCb = function(inputEvent)
if (EvoUndoRedo.disabled) {
EvoEditor.EmitContentChanged();
- EvoEditor.MaybeReplaceTextAfterInput(inputEvent, isWordDelim);
+ EvoEditor.AfterInputEvent(inputEvent, isWordDelim);
return;
}
@@ -588,6 +588,11 @@ EvoUndoRedo.StopRecord = function(kind, opType)
}
if (!EvoUndoRedo.ongoingRecordings.length) {
+ // Workaround WebKitGTK+ bug not sending beforeInput event when deleting with backspace
+ // https://bugs.webkit.org/show_bug.cgi?id=206341
+ if (opType == "deleteContentBackward")
+ return false;
+
throw "EvoUndoRedo:StopRecord: Nothing is recorded for kind:" + kind + " opType:'" + opType +
"'";
}
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]