Benhur Stein <[EMAIL PROTECTED]> writes:
> Citando Serg Stoyan <[EMAIL PROTECTED]>:
>
> Well, there is one bug I see in menus that I don't know if is corrected
> by recent patches. It is easy to see it using Terminal.app.
>
> I use bash and a prompt command that changes the title of the window
> to reflect the current directory:
> PROMPT_COMMAND='echo -ne "\033]0;[EMAIL PROTECTED]:${PWD/$HOME/~}\007"'
>
> If you let the Windows menu open and do some cd commands in Terminal, each
> time the title of the window changes, it is also changed in the menu, but
> it redraws itself apparently many times and finally it is one line lower.
Should be fixed now.
Wim Oudshoorn.
_______________________________________________
Bug-gnustep mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-gnustep
