make a backup of the file and replace the content with the content of the file in this repository. PS : this only changes the editor theme, not the whole workbench theme.