ISR: Don't set subtitle again when manipulating style.

Fixes #2244
ISR: Disable "Default Style" menu item when not applicable.
Set the execute permissions on batch files.

Command used to prepare this patch
`git ls-files -z '*.bat' | xargs -0 git update-index --chmod=+x`