že je nutné zdrojový text uložit pod jiným jménem nebo ukončit editor, protože jinak se překladač k jeho nové verzi nedostane. Svého času mi na zdejším fóru "vysvětlil" kterýsi win-génius, že je to ochrana před tím, aby dva programy současně neměnily jeden a ten samý soubor. Holt zřejmě win nedokáží rozlišit otevření pro čtení a pro zápis :-) Takže plnohodnotný OS (v mém případě linux) rulez!