From 2ef846b09f8c558e8081baa1833e61e08cf5765b Mon Sep 17 00:00:00 2001
From: ANH <abd.nh25@gmail.com>
Date: Tue, 11 Aug 2020 03:32:58 +0300
Subject: [PATCH] add modify to the Selection interface

---
 qt/ts/src/editor.ts | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/qt/ts/src/editor.ts b/qt/ts/src/editor.ts
index 0dca144d0..8d1443638 100644
--- a/qt/ts/src/editor.ts
+++ b/qt/ts/src/editor.ts
@@ -47,6 +47,10 @@ function triggerKeyTimer() {
     }, 600);
 }
 
+interface Selection {
+    modify(s: string, t: string, u: string): void;
+}
+
 function onKey(evt: KeyboardEvent) {
     // esc clears focus, allowing dialog to close
     if (evt.which === 27) {