Am Dienstag, 11. Dezember 2018, 03:28:21 CET schrieb Shaun Andrew: > Attn KDE developers, > > Where is the "double-click" option for the mouse setup? > https://docs.kde.org/trunk5/en/kde-workspace/kcontrol/workspaceoptions/ index.html -- Burkhard Lück