Reduce the update debounce interval for smoother interactive editing

This commit is contained in:
Kovid Goyal 2016-10-20 14:27:43 +05:30
parent 1e555e91ba
commit 01885ae2a3

View File

@ -61,7 +61,7 @@ class TerminalWidget(QWidget):
t.timeout.connect(self.do_layout)
self.debounce_update_timer = t = QTimer(self)
t.setSingleShot(True)
t.setInterval(50)
t.setInterval(20)
t.timeout.connect(self.do_update_screen)
self.pending_update = QRegion()