Re: Terminal matrices

[martin rudalics]

>> I tried it and it works well for me, but with one subtlety: I have a
>> child frame open and open the Tools menu. I move the mouse over the menu
>> items. When I move the mouse to menu items "under" which is the child
>> frame, they don't get highlighted.
>>
>> I made me a todo item for that.
>
> Fix committed to master.

Works here.

martin