Fix some usability issues in the UI (#1601)

This commit is contained in:
Veronica Berglyd Olsen
2023-11-12 21:45:18 +01:00
committed by GitHub
2 changed files with 7 additions and 3 deletions
+6 -2
View File
@@ -1008,7 +1008,9 @@ class GuiDocEditor(QPlainTextEdit):
return
text = block.text()
if text.startswith("@"):
if text.startswith("@") and added + removed == 1:
# Only run on single keypresses, otherwise it will trigger
# at unwanted times when other changes are made to the document
cursor = self.textCursor()
bPos = cursor.positionInBlock()
if bPos > 0:
@@ -1016,8 +1018,10 @@ class GuiDocEditor(QPlainTextEdit):
point = self.cursorRect().bottomRight()
self._completer.move(self.viewport().mapToGlobal(point))
self._completer.setVisible(show)
else:
self._completer.setVisible(False)
elif self._doReplace and added == 1:
if self._doReplace and added == 1:
self._docAutoReplace(text)
return
+1 -1
View File
@@ -111,7 +111,7 @@ class GuiSideBar(QWidget):
self.outerBox.addWidget(self.tbDetails)
self.outerBox.addWidget(self.tbStats)
self.outerBox.addWidget(self.tbSettings)
self.outerBox.setContentsMargins(0, 0, CONFIG.pxInt(2), 0)
self.outerBox.setContentsMargins(0, 0, 0, 0)
self.outerBox.setSpacing(CONFIG.pxInt(4))
self.setLayout(self.outerBox)