added part of firefox/gui stuff