several gui fixes; added filename widgets for html
quick fixes