|
Ich habe hier ein Problem, ueber das ich mich schon ueber ein Jahr lang aergere. Vielleicht weisz jemand einen Rat oder hat jemand ein Patch: Wenn ich mit Mathematica fuer OS/2 Version 2.2.4 (Neueres gibt es f. OS/2 noch nicht) ein Notebook oeffne, sind jedesmal die Fonts verstellt. Dummerweise ist fuer Input und Output Times New Roman als Schriftart voreingestellt, also eine Proportio- nalschrift - und die auch noch sehr klein, so dasz man sie kaum lesen kann und Brueche, Exponenten usw wirr angezeigt werden. Dies passiert mit jedem Notebook, also auch mit Defaults.ma. Wenn man ein auf einem anderen System erzeugtes Notebook mit OS/2-Mathe- matica wieder abspeichert, dann verewigt man dort die unerwuensch- ten Fonts. Das gleiche passiert auch mit Defaults.ma. Nun habe ich Defaults.ma per Editor korrigiert und bei Input, Output, Print, Message und Info die Schriftart Courier 10 Punkt eingetragen. Das hilft aber nichts: man musz sich nur Defaults.ma mit Mathematica fuer OS/2 anschauen - und flugs ist alles wieder verdreht. Wenn man es *nicht abspeichert* und wieder herausgeht und mit einem Editor nachschaut, stimmt in Defaults.ma aber alles. Erst beim Ab- speichern von Defaults.ma wird alles verdreht, auch wenn man vor dem Speichern nichts geaendert hat! *.mb-Files Loeschen hat keinen Einflusz auf dieses Problem. Wenn man alles auf Default-Styles setzt, hat das keine Wirkung - auch wenn Defaults.ma oder die Styles, die am Anfang des Notebooks stehen, kontrolliert und in Ordnung sind. Wenn man die Notebook-Styles verdreht, wirkt das nur fuer die momentane Sitzung. Nach Speichern und Laden ist alles wieder durcheinander. Als bisher letzten Versuch, das Problem zu umschiffen, habe ich alle Fonts auszer Courier und System aus dem Windows-Teil von OS/2 geloescht :( Nun erscheinen die Notebooks in der Schriftart System - immer noch proportional! In den Font-Beschreibungen der Notebooks und von Defaults.ma wird weiter hartnaeckig Times New Roman eingetragen! Mit freundlichen Grueszen Dipl-Math. Adalbert Hanszen <hsse@XXXXXXX.de> |