1. 2018-12-11 Re: Where is the "double-click" option for the mouse kde-doc-e Burkhard =?ISO-885 2. 2018-12-11 Where is the "double-click" option for the mouse setu kde-doc-e Shaun Andrew