diff options
| -rw-r--r-- | etc/portato.cfg | 5 | ||||
| -rw-r--r-- | portato/gui/windows/main.py | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/etc/portato.cfg b/etc/portato.cfg index 1abb709..4303bf4 100644 --- a/etc/portato.cfg +++ b/etc/portato.cfg @@ -99,6 +99,11 @@ collapsecats = true packagetabpos = 2 systemtabpos = 2 +; the maximum number of lines the terminal keeps in history +; note that a higher value also means a higher memory consumption +; integer value +scrollbacklines = 1000 + # # Color section # Values in this section are normally not editable through the GUI. diff --git a/portato/gui/windows/main.py b/portato/gui/windows/main.py index f5b5d17..06ec9ea 100644 --- a/portato/gui/windows/main.py +++ b/portato/gui/windows/main.py @@ -740,7 +740,7 @@ class MainWindow (Window): Builds the terminal. """ - self.console.set_scrollback_lines(2**20) + self.console.set_scrollback_lines(int(self.cfg.get("scrollbacklines", "GUI"))) self.console.set_scroll_on_output(True) self.console.set_font_from_string(self.cfg.get("consolefont", "GUI")) self.console.connect("button-press-event", self.cb_right_click) |