Merge bugfixes (#1009)
* Fix document margin recursion error (#1007) * Fix project file icon path in Windows installer (#1006)
This commit is contained in:
committed by
GitHub
parent
011291f225
commit
7f43584ed5
@@ -1061,8 +1061,8 @@ class GuiDocEditor(QTextEdit):
|
||||
"""If the text editor is resized, we must make sure the document
|
||||
has its margins adjusted according to user preferences.
|
||||
"""
|
||||
QTextEdit.resizeEvent(self, theEvent)
|
||||
self.updateDocMargins()
|
||||
QTextEdit.resizeEvent(self, theEvent)
|
||||
return
|
||||
|
||||
##
|
||||
|
||||
Reference in New Issue
Block a user