From e11c4615e61d63bbf4473355814446e453071993 Mon Sep 17 00:00:00 2001
From: Thomas Jentzsch <tjentzsch@yahoo.de>
Date: Fri, 3 Sep 2021 21:42:02 +0200
Subject: [PATCH] fixed EditableWidget bug #819

---
 src/gui/EditableWidget.cxx | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/gui/EditableWidget.cxx b/src/gui/EditableWidget.cxx
index 7732694c4..8314a847f 100644
--- a/src/gui/EditableWidget.cxx
+++ b/src/gui/EditableWidget.cxx
@@ -246,6 +246,8 @@ bool EditableWidget::tryInsertChar(char c, int pos)
 {
   if(_filter(tolower(c)))
   {
+    if(_selectSize < 0)   // left to right selection
+      pos += _selectSize; // adjust to new position after removing selected text
     killSelectedText();
     if(!_maxLen || static_cast<int>(_editString.length()) < _maxLen)
     {