set default theme in gui to zenburn