After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 757695 - Use infinite scrollback on terminal
Use infinite scrollback on terminal
Status: RESOLVED FIXED
Product: gnome-builder
Classification: Other
Component: general
3.18.x
Other Linux
: Normal normal
: ---
Assigned To: GNOME Builder Maintainers
GNOME Builder Maintainers
Depends on:
Blocks:
 
 
Reported: 2015-11-06 17:07 UTC by Philip Withnall
Modified: 2016-02-22 02:52 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
terminal plugin: set scrollback to max (1.55 KB, patch)
2015-11-06 17:54 UTC, sébastien lafargue 		committed Details | Review

Description Philip Withnall 2015-11-06 17:07:57 UTC 
The current scrollback limit in the embedded terminal is quite small, and my build logs regularly scroll off the top and are lost.

Are there any reasons not to use infinite scrollback?

Version: 3.18.1
Comment 1 sébastien lafargue 2015-11-06 17:54:03 UTC 
Created attachment 315007 [details] [review]
terminal plugin: set scrollback to max
Comment 2 Christian Hergert 2015-11-06 20:32:05 UTC 
Review of attachment 315007 [details] [review]:

This looks like a better default than we have now. In the not too distant feature (after new perspective/preferences lands) we should add Terminal preferences for this and palette, font, etc.
Comment 3 sébastien lafargue 2015-11-06 20:37:42 UTC 
Comment on attachment 315007 [details] [review]
terminal plugin: set scrollback to max

Attachment 315007 [details] pushed as c70f435 - terminal plugin: set scrollback to max