how to select and deselect a tool without using the mouse click? · xournalpp/xournalpp · Discussion #4631 · GitHub