Is there a way to leave the Okular highlighting tool on permanently? [closed] July 31, 2023 by Tarik Double-clicking the tool solves it, as I found in a Bug report pointing to the manual.