(In reply to comment #63) > > If so, I'd prefer a pref, not ifdefs. > > Markus, can you do that?
OK. Any idea on a good name? ui.use_progress_cursor?
(In reply to comment #63)
> > If so, I'd prefer a pref, not ifdefs.
>
> Markus, can you do that?
OK. Any idea on a good name? ui.use_ progress_ cursor?