Fresh install of ScriptRepository is broken

[Martyn Gigg]

To reproduce:

• Remove anything referencing the script repo so that we can start clean;
• Click File->Script Repository and then click okay
• Click on something to download it, e.g. the muon folder
• the results log shows an error: 'IndentationError: unexpected indent (<Interface>, line 2)'

I have noticed that the exact same error occurs when you go to View->Preferences->Mantid->Directories and then try to add a directory to the python scripts path. When you click apply you get the above error

[Gesner Passos]

re #8861: Fix the problem of identation in the python script

This python script is triggered when the python.directories changes. There are identation problems with it.

The problem was introduced in this commit 8557da27854b141ed2d4215632c395f5cc15d936, by auto-identation of editor.

The way to ensure it does not happen again is to allow the compiler to concatenate strings as now.

Changeset: bb60848929b8c6ce58454678c00622fc043c0936

[Gesner Passos]

Tester:

check that the error has gone. The description shows how to reproduce the error.

[Samuel Jackson]

Merge remote-tracking branch 'origin/bugfix/8861_handle_config_change'

Full changeset: ​ab9646b3bf7f36281f09f0b0cdc77392efa64da6

[Samuel Jackson]

I checked I could reproduce, checked the change worked and checked the changes. It's all good.

[Stuart Campbell]

This ticket has been transferred to github issue ​9705