Artur Frenszek-Iwicki wrote:
That being said, what about allowing users to set this preference by
themselves?
That would make a lot of sense indeed (though the default would still need
to be agreed on). But unfortunately, asking for any kind of user preference
to be added to a GNOME application is usually a lost cause. GNOME has a
strict "take it or leave it" policy.
Kevin Kofler