dcolombo

marsian, can you tell us the specific file to replace in the themes folder so we don’t lose our customizations and setting we have loaded?