Eli Zaretskii writes: >> got them. the last one may be a little bit confusing for the >> reader that is not aware of it because all others defcustoms of >> window.el applies a :group tag. Do you want that I remove the >> others unnecessary ones ? > > Fine with me if you remove them. > > (The patch you sent was the old one, right?) >> [...] > > If that's the case, I suggest to send the patch as an > attachment. My bad the bug was me ;)