loh.tar added a comment.
Sorry for the hassle, will revert the update > Further, I would prefer autoHideDelay instead of just delay. Are you refering here to the header or the code part? The old name in the header was "autoHideTimeR" which is pretty wrong. So have I to change this in the header/docu to "autoHideDelay"? Or perhaps "autoHideTime"? Then is the change minimal. REVISION DETAIL https://phabricator.kde.org/D17624 To: loh.tar, #ktexteditor, dhaumann Cc: dhaumann, kwrite-devel, kde-frameworks-devel, #ktexteditor, hase, michaelh, ngraham, bruns, demsking, cullmann, sars
