Restore scroll bar value when setting indent

Signed-off-by: Loren Eteval <loren.eteval@proton.me>
2026-10-03 04:17:58 +03:00 · 2023-09-07 00:15:55 +08:00
parent fe2524233c
commit d840945891
1 changed files with 8 additions and 0 deletions
@@ -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