2016-09-17 18:21 GMT+02:00 Keshav Kini <keshav.k...@gmail.com>:
>> But anyway, things like these are possible for years with themes, which
>> are broken also for many years (if they ever worked), and nobody
>> complained about the broken support for years so I tend to think that
>> people don't care too much about these visual tweaks.
> I'm not sure if this is what you meant, but I don't think the particular
> UI change implemented by this patch is possible to implement using
> themes, since I had to add a new style
Yes, I think that without your new style wouldn't have been possible to do it.
I meant that I don't know if many people will be bothered to change
the defaults, since I never see this kind of options tweaked in
configs sent to bug reports, or complaints about much more big broken
things like the themes (so I was tempted to scrap theme support
> (which means I should have edited
> whatever generates this documentation too... oops).
Yeah, probably :)
Manuel A. Fernandez Montecelo <manuel.montez...@gmail.com>
Aptitude-devel mailing list