[v2,0/7] Some user-friendliness changes

Message ID 20200623132006.15863-1-tom@tromey.com
Headers show
  • Some user-friendliness changes
Related show


Tom Tromey June 23, 2020, 1:19 p.m.
Here is v2 of my "user-friendliness" patch series.  I've added docs
and some minimal tests.

v1 is here:

In this version, I reimplemented "set style startup" and
"set startup-quietly" to both use a generic facility to store
some parameters in an early startup file.  This makes it simpler
to add more such settings, should we want to.

Let me know what you think.