There's no other desktop recorder that even comes close to this quality, AND, I think this would be a great addition to the default Linuxmint.
As it is now, (the removed on his site seems broken), you'll have to ADD the ppa:
Code: Select all
sudo add-apt-repository ppa:maarten-baert/simplescreenrecorder
sudo apt-get update
sudo apt-get install simplescreenrecorder
# if you want to record 32-bit OpenGL applications on a 64-bit system:
sudo apt-get install simplescreenrecorder-lib:i386
Anyway, just a small suggestion.