Can we drop kcontrol/workspaceoptions?

[Sebastian Kügler]

On Friday, October 18, 2013 16:45:29 Marco Martin wrote:
> On Fri, Oct 18, 2013 at 3:19 PM, Martin Graesslin <mgraesslin at kde.org> 
wrote:
> > is a global switch to enable and disable tooltips: also partially managed
> > automatically by the shell switching, but needs to be configurable by the
> > user somewhere
> 
> does it? Is it really a valid usecase to disable tooltips? That would be an
>  interesting thing to see how many users changed that option at all...
> 
> as far I remember, it was added due a quite big demand, several users hate
> tooltips like nothing else. I'm ok for trying to remove the option, but may
> be an haters gonna hate type of thing...

I've actually disabled the tooltips, because they obstructed windows. I only 
did that on my laptop, so it's not universal at least for me. I wouldn't die 
without this option, but I still did find it pretty useful at a time in the 
past. Just one small data point. 
-- 
sebas

http://www.kde.org | http://vizZzion.org | GPG Key ID: 9119 0EF9