From d840945891829f21093fabeff26d48400e415f5d Mon Sep 17 00:00:00 2001
From: Loren Eteval <loren.eteval@proton.me>
Date: Wed, 6 Sep 2023 12:40:57 +0800
Subject: [PATCH] Restore scroll bar value when setting indent

Signed-off-by: Loren Eteval <loren.eteval@proton.me>
---
 Furious/Widget/EditConfiguration.py | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/Furious/Widget/EditConfiguration.py b/Furious/Widget/EditConfiguration.py
index 3d282be..fb90298 100644
--- a/Furious/Widget/EditConfiguration.py
+++ b/Furious/Widget/EditConfiguration.py
@@ -557,6 +557,11 @@ class IndentAction(Action):
                 # Empty. Do nothing
                 return
 
+            currentFocus = self.parent().currentFocus
+
+            if currentFocus >= 0:
+                self.parent().saveScrollBarValue(currentFocus)
+
             try:
                 myJSON = ujson.loads(myText)
                 myText = ujson.dumps(
@@ -582,6 +587,9 @@ class IndentAction(Action):
                 self.indentFailure.exec()
             else:
                 self.parent().plainTextEdit.setPlainText(myText)
+
+                if currentFocus >= 0:
+                    self.parent().restoreScrollBarValue(currentFocus)
         else:
             # Do nothing
             pass