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 791079 - Can't clear the build log
Can't clear the build log
Status: RESOLVED FIXED
Product: gnome-builder
Classification: Other
Component: general
Flatpak Nightly Channel
Other Linux
: Normal normal
: ---
Assigned To: GNOME Builder Maintainers
GNOME Builder Maintainers
Depends on:
Blocks:
 
 
Reported: 2017-12-01 12:57 UTC by Adrien Plazas
Modified: 2017-12-02 03:10 UTC
See Also:
GNOME target: ---
GNOME version: ---


Attachments
buildui: allow clearing the build log panel (1.12 KB, patch)
2017-12-02 03:09 UTC, Christian Hergert
committed Details | Review

Description Adrien Plazas 2017-12-01 12:57:32 UTC
The 'Clear build log' button doesn't work anymore.
Comment 1 Christian Hergert 2017-12-02 00:22:17 UTC
Hrmm, this used to work before we started using a VtePty (and just feed build log data into the terminal).
Comment 2 Christian Hergert 2017-12-02 03:09:36 UTC
Created attachment 364801 [details] [review]
buildui: allow clearing the build log panel

We cannot clear the terminal if we disallow input into the build terminal.
It's probably fine to allow that, since I guess it's possible for a build
component to ask for input (even though that is really not ideal).
Comment 3 Christian Hergert 2017-12-02 03:09:59 UTC
Attachment 364801 [details] pushed as 264c7c6 - buildui: allow clearing the build log panel