Спасибо, с этим- понятно.
Нашёл ещё одну проблему: не могу работать с менеджером библиотек. Библиотеки отражаются непонятными символами, как при неправильной кодировке, но как сменить кодировку- не знаю. У меня стоит немецкая Windows-7 Professional.
Есть ли решение?