I recently screwed up my stonebook mini laptop running fedora 31 while trying to reduce the space taken by Windows 10. I then had to do a complete reinstall of both windows and linux, with a great deal of hassle, partly because I had not done a recent backup of some of my files on the linx partition!
Anyhow it is now working with the reduced windows partition and more linux space, but I seem to have done something to make ctwm use much taller title-bars than previously, and I cannot find anything in .ctwmrc that controls that. I used to have title-bars that were about 5mm tall, as they are on my desktop PC still running fedora 29 (ancient machine soon to be replaced). But now the title bars on the laptop are about twice the desired height. This may be because some of the menu-button icons in the title bar are bigger, forcing the ctwm to use thicker title bars. But searching through .ctwmrc I can't find anything that obviously controls the icon sizes. I've been using the same laptop configuration for many years and now can't recall what I had to do to set it up! I hope someone on this list will instantly recognize what I've done wrong! Thanks. Aaron
