> A good interface would allow enough configuration that we both could have what we want. Like Windows, from at least 3.1 (ca 1987?) to at least mid-life of Wi

> A good interface would allow enough configuration that we both could have what we want. Like Windows, from at least 3.1 (ca 1987?) to at least mid-life of Windows 7 (ca 2012-14?). The item under discussion, window border width, used to be settable from 0 up to... Pretty much all of your screen. (But from some update somewhere halfway through W7, it defaulted to at least one pixel however hard you tried to set it to zero.)