Ignoring history file and changing theme