Add a setting for cursor width (#2219)

2025-02-06 17:24:57 +01:00
parent aa84d998a0
commit 598667826f
5 changed files with 24 additions and 3 deletions
@@ -367,8 +367,9 @@ class GuiDocEditor(QPlainTextEdit):
        else:
            self.setHorizontalScrollBarPolicy(QtScrollAsNeeded)

-        # Refresh the tab stops
+        # Refresh sizes
        self.setTabStopDistance(CONFIG.tabWidth)
+        self.setCursorWidth(CONFIG.cursorWidth)

        # If we have a document open, we should refresh it in case the
        # font changed, otherwise we just clear the editor entirely,