von Gast » Mi 7. Jun 2017, 09:38
Wobei man durchaus mit Texmaker Dateien umcodieren kann. Dazu zuerst Datei→Alle schließen auswählen. Dann Werkzeuge→In Unicode konvertieren. Im Dialog dann über den Knopf oben rechts eine Datei auswählen. Die Ursprungscodierung wählen (im Beispiel ISO-8859-1). Auf In Unicode konvertieren klicken. Jetzt wird der konvertierte Quelltext angezeigt. An der Stelle sollte man unbedingt kontrollieren, ob das Ergebnis korrekt angezeigt wird. Wenn das der Fall ist, links oben auf das Diskettensymbol klicken. Namen und Speicherort wählen, speichern. Ich empfehle hier zur Sicherheit nicht die Originaldatei zu überschreiben, sondern in einem neuen Ordner eine Kopie zu speichern. Diese Kopie kann man dann wieder über Datei→Öffnen öffnen. Erkennt Texmaker dabei nicht selbst, dass die Datei nun UTF8-kodiert ist, fragt es nach und man muss ggf. UTF8 selbst wählen. Zum Abschnluss muss dann natürlich noch dafür sorgen, dass bei inputenc nun auch wirklich utf8 als Option eingestellt ist und ggf. erneut speichern.
Wobei man durchaus mit Texmaker Dateien umcodieren kann. Dazu zuerst [tt]Datei[/tt]→[tt]Alle schließen[/tt] auswählen. Dann [tt]Werkzeuge[/tt]→[tt]In Unicode konvertieren[/tt]. Im Dialog dann über den Knopf oben rechts eine Datei auswählen. Die Ursprungscodierung wählen (im Beispiel [tt]ISO-8859-1[/tt]). Auf [tt]In Unicode konvertieren[/tt] klicken. Jetzt wird der konvertierte Quelltext angezeigt. An der Stelle sollte man unbedingt kontrollieren, ob das Ergebnis korrekt angezeigt wird. Wenn das der Fall ist, links oben auf das Diskettensymbol klicken. Namen und Speicherort wählen, speichern. Ich empfehle hier zur Sicherheit nicht die Originaldatei zu überschreiben, sondern in einem neuen Ordner eine Kopie zu speichern. Diese Kopie kann man dann wieder über [tt]Datei[/tt]→[tt]Öffnen[/tt] öffnen. Erkennt Texmaker dabei nicht selbst, dass die Datei nun UTF8-kodiert ist, fragt es nach und man muss ggf. UTF8 selbst wählen. Zum Abschnluss muss dann natürlich noch dafür sorgen, dass bei [p]inputenc[/p] nun auch wirklich [tt]utf8[/tt] als Option eingestellt ist und ggf. erneut speichern.