Hello, to quote myself, from the VerticalMargins menustyle thread: "I hope to sort the separators padding stuff as well. So, if this patch is right, let me know your thoughts about that. But this is for another thread, so I will open a new one."
So, I opened this new thread. My thoughts about this: If the VerticalMargins command is not the right place for this, then maybe a separate patch would do. If you think that it shouldn't be into the VerticalMargins stuff, maybe a new option would be right for that. Something like SeparatorMargins. This would need that we think about it a bit. I definitely want to add the possibility to have some padding around the separators because it doesn't seem right as it's now when the element above or below a separator is selected. If we get a SeparatorMargins option, it could be used to specify the margins not only above and below the separators, but also the margins on the left and the right. That would send SeparatorsLong and SeparatorsShort to the list of deprecated stuff (I never liked this couple to tell the truth). This would also add a greater degree of flexibility when defining menu separators. I don't think that separators would be a thing to write a thesis about, but well... We need the padding above and below, and adding the configurability for the separators length wouldn't add much complexity (I think, I haven't done any work on this yet). I'd like some feedback. Is this something that fvwm could use? I don't want to waste my time making patches that will only be used by me unless I really need them. If yes, is the SeparatorMargins approach correct? If so, would it be "SeparatorMargins l r t b" correct? or maybe just "SeparatorMargins top bottom"? In the first case, would it eventually turn SeparatorsLong and SeparatorsShort deprecated? I guess that if we want "l t r b" we will probably have some problems with ItemFormat, wouldn't we? I'll better get some sleep for now :P Those are just some ideas and doubts that I have about how to implement this. -- Jesús Guerrero <[EMAIL PROTECTED]>
