<<< Date Index >>>     <<< Thread Index >>>

Re: Indicator



* On Fri, Nov 05, 2004 Blekos Kostas (mplekos@xxxxxxxxxxxxxxxxxx) muttered:
>  anybody knows if it is possible to make the indicator a bar(rather than
>  arrow), or is it depented  on the terminal that one uses?

unset arrow_cursor

Michael
-- 
God is real, unless declared integer.

GPG Key ID: 0xDC1A44DD