История изменений
Исправление grem, (текущая версия) :
Я установил 13.12 из репозитория mint 17.3, затем 16.01 из ppa (c последующим автоматическим импортом конфигов от 13.12 из /user/.codeblocks при первом запуске новой версии). Воспроизвести глюк не удалось. Ранее codeblocks на этой системе не стоял.
А давно система была установлена?
Исходная версия grem, :
Я установил 13.12 из репозитория mint 17.3, затем 16.01 из ppa (c последующим автоматическим импортом конфигов от 13.12 из /user/.codeblocks при первом запуске новой версии). Воспроизвести глюк не удалось. Ранее codeblocks на этой системе не стоял.