Cameron Simpson wrote:
| For the no-title case only, right? Personally, I don't care as I don't
| see a sound reason for no-title windows to have borders at all (which is
| why I didn't notice this problem in the first place).
Example sound reason:
Many windows' content give sufficient info about them. Eg user and pwd
in shell prompts and so forth. So a title bar may be undesired by some
people because it addes little value for them, yet they may still desire
borders for demarcation purposes.
The title bar serves not only to display the title, but as a convenient
means to move the window (at least, for me; certainly, there are other
ways to move a window), whereas borders are usually too thin for this
purpose. Also, no title[bar] means there are no no min/max/... buttons.
Regards,
Evgeny
