3e1b1d5789
Make the framerate, file extension and gstreamer pipeline used by the screencast recorder configureable using gconf. This patch does not change the defaults, it justs provides a way for the user to override them. https://bugzilla.gnome.org/show_bug.cgi?id=608995