changing the scripting language via the scripting menu now updates also the scripting window
Authored by: knut 2006-10-03
Parent: [r219]
Child: [r221]
