Issue #374: added optional encoding attribute to video widget