Editors: Add option to not hide the mouse cursor when typing
authorEike Ziller <eike.ziller@digia.com>
Mon, 10 Feb 2014 12:23:59 +0000 (13:23 +0100)
committerEike Ziller <eike.ziller@digia.com>
Tue, 18 Feb 2014 10:53:45 +0000 (11:53 +0100)
commitf335da7a752fabbc2f13e6a31dfd386316f00f31
treede6738f222f1d9b26b91f3bc6d391ed429cf60c9
parentdef888d13a50e775f2a41e99cde58a0dcf4d3e40
Editors: Add option to not hide the mouse cursor when typing

Task-number: QTCREATORBUG-3584

Change-Id: Iae5551d36b72c5712f3276b15dfa85982a776dcf
Reviewed-by: David Schulz <david.schulz@digia.com>
src/plugins/texteditor/basetexteditor.cpp
src/plugins/texteditor/basetexteditor.h
src/plugins/texteditor/behaviorsettings.cpp
src/plugins/texteditor/behaviorsettings.h
src/plugins/texteditor/behaviorsettingswidget.cpp
src/plugins/texteditor/behaviorsettingswidget.ui