On 18/11/11 04:30, Robert Ancell wrote:
> As Mark said
> an option to disable this would probably doesn't seem worth adding to
> the GUI, but I would add a GSettings key to disable this and this could
> be exposed in a tool like Gnome Tweak Tool or Ubuntu Tweak.
Please don't do that; it's extra code, extra documentation, extra
testing, extra bugs. Putting in a hidden setting assumes all the costs
of the setting with relatively few of the benefits.
On 18/11/11 04:30, Robert Ancell wrote:
> As Mark said
> an option to disable this would probably doesn't seem worth adding to
> the GUI, but I would add a GSettings key to disable this and this could
> be exposed in a tool like Gnome Tweak Tool or Ubuntu Tweak.
Please don't do that; it's extra code, extra documentation, extra
testing, extra bugs. Putting in a hidden setting assumes all the costs
of the setting with relatively few of the benefits.
Mark