Describe the bug
There is a delay of 2 sec everytime the tools (Between brush, eraser, shaper, etc) are switched. Binding temporary eraser to stylus is also quite laggy. This only happens after switching between tools for 2-3 times (Works fast in the first use after opening the application)

To Reproduce
Steps to reproduce the behavior:

1. Open Rnote 0.13.1
2. Write something using brush
3. Try to switch between tools or use the temporary eraser
4. Lag can be noticed after a few uses

Expected behavior
Older versions were quite snappy and fast.

Console Output
Using Windows 10, so I can't really see the logs of the application

Screenshots
If applicable, add screenshots to help explain your problem.

Desktop (please complete the following information):

• OS: Windows 10
• App Version: Rnote v0.13.1
• Installation Source: Github
• Input Source: HUION HS611 Graphics Tablet

Additional context
I frequently use the temporary eraser on my stylus, recently it is pretty annoying since it takes a lot of time to work and it also gets stuck in the same spot when erasing.