diff options
| author | Sören Tempel <soeren+git@soeren-tempel.net> | 2021-05-29 11:47:04 +0200 |
|---|---|---|
| committer | Sören Tempel <soeren+git@soeren-tempel.net> | 2021-05-29 11:47:04 +0200 |
| commit | 8a847a901ed8e0ee667a042a74282efc97e0da01 (patch) | |
| tree | fefb234d2f0e23407b40c90b2635348953099cdf | |
| parent | b6db98ffd7b1d9aee64b8c5fa52dafc332aacfd1 (diff) | |
terminal: Reduce priority of PTY Source
With the default priority, the rendering thread would starve if the PTY already has input ready. For example, when executing yes(1).
| -rw-r--r-- | saneterm/terminal.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/saneterm/terminal.py b/saneterm/terminal.py index 7ff85ac..2285883 100644 --- a/saneterm/terminal.py +++ b/saneterm/terminal.py @@ -68,6 +68,7 @@ class Terminal(Gtk.Window): self.reset_history_index() self.pty = PtySource(cmd) + self.pty.set_priority(GLib.PRIORITY_LOW) self.pty.set_callback(self.handle_pty) self.pty.attach(None) |