Re: vertical scale display; button prelighting

[Paul Davis <pbd Op Net>]

>> --p "gtk_init (&argc, &argv); gtk_allow_prelight (false);"
>
>I'd need some convincing on why this is useful. I do see that various
>people are trying to do it, but is it just "I don't like the theme,
>let's hardcode stuff" or is it for a reason.

Maybe we disagree with the notion of indicating the mouse cursor
location by changing the appearance of a widget. For me, that
disagreement is independent of however the appearance is changed.

>Another option is to make prelight a user setting that all themes
>would then honor (because GTK wouldn't pass them GTK_STATE_PRELIGHT).

Precisely. I would enable it everywhere, you could choose not to do
so, and we'd all be happy.

--p