extern/Unexpected-Keyboard
1
0
Fork 1
mirror of https://github.com/Julow/Unexpected-Keyboard.git synced 2025-06-28 05:31:43 +02:00
Code Issues Actions Packages Projects Releases Wiki Activity

Avoid the selection being empty in selection mode

Browse Source 
Emptying the selection with the spacebar slider puts the selection mode
in an unexpected state. This checks that this doesn't happen.

For example, moving the right end of the selection (by going right then
left in a single stroke) after it reached the left end will push it with
every steps to keep the selection of size 1.
This commit is contained in:
Jules Aguillon 2025-06-15 16:46:19 +02:00
parent f9b844e988
commit 5d62cf7901
1 changed files with 10 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
srcs/juloo.keyboard2/KeyEventHandler.java
View File

@ -320,10 +320,16 @@ public final class KeyEventHandler
{
int sel_start = et.selectionStart;
int sel_end = et.selectionEnd;
if (sel_left == (sel_start <= sel_end))
sel_start += d;
else
sel_end += d;
boolean modify_sel_start = sel_left == (sel_start <= sel_end);
do
{
if (modify_sel_start)
sel_start += d;
else
sel_end += d;
// Move the cursor twice if moving it once would make the selection
// empty and stop selection mode.
} while (sel_start == sel_end);
if (conn.setSelection(sel_start, sel_end))
return; // Fallback to sending key events if [setSelection] failed
}