Hmm... je ne sais pas pour toi, mais les options par jeu (Quand on appuie sur "triangle") ne se sauvegarde pas chez moi. Sinon, oui je confirme, il n'y a plus HDL server dans les options principales (touche "start"). Mais bon, étant donné qu'il était intégré avant, je ne pense pas que ce soit trop difficile de recompiler OPL avec (je n'ai pas encore essayé, je précise^^).
|