From 7c985b38179cc4ed85c48c53a77e8b18c2aefae3 Mon Sep 17 00:00:00 2001
From: John <JohnBreaux@my.unt.edu>
Date: Thu, 5 May 2022 21:13:18 -0500
Subject: [PATCH] Stop forciby reselecting the document Forcibly reselecting
 the document made using keyboard navigation inconvenient

---
 src/commands/text.ts | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/src/commands/text.ts b/src/commands/text.ts
index 791f3cb..d314152 100755
--- a/src/commands/text.ts
+++ b/src/commands/text.ts
@@ -121,7 +121,6 @@ function getNumberOfSelectedLines(): void {
         (numberOfSelectedLines !== 1)
             ? window.showInformationMessage(`${numberOfSelectedLines.toString()} Lines Selected`)
             : window.showInformationMessage(`${numberOfSelectedLines.toString()} Line Selected`);
-        window.showTextDocument(editor.document); // After the selection is made, the editor loses focus. We need to re-focus the editor so typing isn't interrupted
     }
     else {
         window.showErrorMessage('No document currently active');
@@ -139,7 +138,6 @@ function getLineNumber(): void {
         const lineNum: number = fetchLineNumber(editor);
 
         window.showInformationMessage(`Line ${lineNum.toString()}`);
-        window.showTextDocument(editor.document); // After the selection is made, the editor loses focus. We need to re-focus the editor so typing isn't interrupted
     }
     else {
         window.showErrorMessage('No document currently active');
@@ -172,7 +170,6 @@ function getIndent(): void {
                 ? window.showInformationMessage(`Line ${lineNum.toString()}: ${i.toString()} indents`)
                 : window.showInformationMessage(`Line ${lineNum.toString()}: ${i.toString()} indent`);
         }
-        window.showTextDocument(editor.document); // After the selection is made, the editor loses focus. We need to re-focus the editor so typing isn't interrupted
     }
     else {
         window.showErrorMessage('No document currently active');
@@ -201,7 +198,6 @@ function getLeadingSpaces(): void {
                 ? window.showInformationMessage(`Line ${lineNum.toString()}: ${numSpaces.toString()} spaces`)
                 : window.showInformationMessage(`Line ${lineNum.toString()}: ${numSpaces.toString()} space`);
         }
-        window.showTextDocument(editor.document); // After the selection is made, the editor loses focus. We need to re-focus the editor so typing isn't interrupted
     }
     else {
         window.showErrorMessage('No document currently active');
@@ -239,8 +235,9 @@ function selectLeadingWhitespace(): void {
         else {
             window.showErrorMessage(`Line ${lineNum.toString()}: No leading spaces to select!`); // No whitespace to select
         }
-        window.showTextDocument(editor.document); // After the selection is made, the editor loses focus. We need to re-focus the editor so typing isn't interrupted
-    }
+        // Move the cursor to the new selection
+        window.showTextDocument(editor.document);
+        }
     else {
         window.showErrorMessage('No document currently active'); // No active document
     }