Re: [orca-list] Added customization to disable dead accessible event filter



Hi Vincenzo.

On 06/07/2015 05:12 AM, Vincenzo Rubano wrote:
Is this a permanent situation in Orca’s future?

I sure hope not.

If so, why not letting
users configure this setting through the UI?

Because it's an experimental hack to deal with a bug that is not in
Orca. It is *not* a "feature".

--joanie



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