GNOME Bugzilla – Bug 653102
terminal: Add new terminal_background_build key, implement it
Last modified: 2011-07-15 23:30:28 UTC
This improves desktop interactivity, especially with high make -j values.
Created attachment 190360 [details] [review] terminal: Add new terminal_background_build key, implement it
Comment on attachment 190360 [details] [review] terminal: Add new terminal_background_build key, implement it Could this be decoupled from terminal.py, to also provide the benefits when running other frontends? And thus renamed to background_build (or perhaps nice_build, to avoid confusion with foreground/background processes)? And a small snippet to doc/C/jhbuild.xml, something very short based on the comment from defaults.jhbuildrc is ok.
Created attachment 190365 [details] [review] Add new nice_build key, implement it Reworked for comments
Attachment 190365 [details] pushed as 0e453d9 - Add new nice_build key, implement it