I can appreciate the honesty of that video.
A really monumental task. The servo devs have my respect!
Eventually we do want them to look more like the controls on the platform they're running on, though.
Broadly speaking, native controls don't like being composited into OpenGL scenes (which are necessary for things like 3D transforms).
`recordmydesktop --windowid $(xwininfo)`
and click the window you want to record.
`ffmpeg -i out.ogv -o final.webm`
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)
This works, though:
recordmydesktop --windowid $(xwininfo | grep 'Window id' | cut -d' ' -f4)