The workaround seems to be to use
xterm as the terminal instead of the default terminal. To change it to
xterm, follow these steps:
- Make sure
- Go to
Many thanks to the original developer for this awesome tool and all the very best to the new team. I hope to buy this product as soon as the development is resumed!