Mark theme as modified after changing options