I used kazam to make this (and ffmpeg/convert to make it into a gif). But yeah, recordmydesktop works too. Though it has a small bug where, when recording a si

I used kazam to make this (and ffmpeg/convert to make it into a gif). But yeah, recordmydesktop works too. Though it has a small bug where, when recording a single window, the mouse position isn't shown correctly in the final video. (Instead of showing where the mouse was relative to the window, it takes the absolute position of the mouse and scales it down to the window size)