[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Bug-wget] [PATCH] Make the marquee a proper marquee

From: Darshit Shah
Subject: Re: [Bug-wget] [PATCH] Make the marquee a proper marquee
Date: Wed, 24 Jun 2015 22:29:02 +0530

On Wed, Jun 24, 2015 at 10:24 PM, Alex Henrie <address@hidden> wrote:
> 2015-06-24 2:06 GMT-06:00 Darshit Shah <address@hidden>:
>> However, with you patch, the filename starts scrolling from the right
>> end one character at a time. This is again painful, since it takes
>> about 15 seconds to fill the buffer.
>> Could we start with 15 columns worth of the filename in the buffer and
>> then follow the marquee format that you proposed? That allows the user
>> to get a lot more information very quickly.
> If wget did that, the beginning of the filename would disappear almost
> immediately. Maybe we could compromise and start the marquee halfway
> through the available space?
I think Wget already does start with a full 15 characters. What we'd
miss immediately is the first character as the marquee starts moving.
Would that be too much of a loss?

I'm not sure if starting the marquee mid-way will be aesthetically the
best idea. Though I wouldn't mind giving it a try to just see how
it'll look.
> -Alex

Thanking You,
Darshit Shah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]