Re: Undocumented menu feature?

[Sergey Organov <sorganov@gmail.com>]

Jan Djärv <jan.h.d@swipnet.se> writes:
> Den 2014-10-03 22:42, Stephen Berman skrev:
>> On Thu, 2 Oct 2014 18:50:24 +0200 Jan Djärv <jan.h.d@swipnet.se> wrote:
>>
>>> Hi.
>>>
>>> 2 okt 2014 kl. 17:46 skrev Sergey Organov <sorganov@gmail.com>:
>>>
>>>> Jan Djärv <jan.h.d@swipnet.se> writes:
>>>>
[...]

>>>> Thanks, but first I don't see it in any other application but Emacs, and
>>>> second it looks to be somehow controlled from within Emacs:
>>>>
>>>> Some of Emacs submenus do have it, and some don't. For example, in
>>>> "Options", the "Line Wrapping in this Buffer" submenu has the dashed
>>>> line, while neither "Mule (Multilingual Environment)" nor "Customize
>>>> Emacs" have one.
>>>>
>>>> I can't figure any template, as some submenus of non-detachable menus
>>>> could be detachable, and vice versa. Moreover, ["Tools" "Spell
>>>> Checking"] has this active dashed line right in the middle (between
>>>> "Complete Word Fragment" and "Complete Word"), not at the top.
>>>
>>> I don't have this, it mihgt be a Gtk theme issue.  I have dashed lines on all
>>> menus at the top.
>>
>> I also don't see the dashed line in the middle of the submenues Sergey
>> refers to; however, I did see it once in the Todo mode submenu "Display
>> and Printing", but after leaving and revisiting the Todo buffer, the
>> dashed line was at the top of that submenu, as with all other submenues,
>> and I haven't seen the odd display again, so perhaps there is some kind
>> of timing issue or race condition in the Gtk display.
>>
>> On the other hand, I do confirm the lack of a dashed line in the Options
>> submenu "Customize Emacs", also with -Q and every time I've tried since
>> the OP prompted me to look; so this seems to be a different bug.
>> (However, that submenu is the only one where I've seen the dashed line
>> missing; unlike the OP, I do see the line in the "Mule" submenu.)
>
> Bugs where present, I have fixed them in trunk.
> I can understand how the tearoff in the middle of the menu could
> happen, but I have not seen it.  Fixed now.
>

Ah, so it was probably "controlled" by a bug. Thank you for looking at
the issue!

-- Sergey.