Schrift vergrößern im grace/xmgrace Editorfenster

Question

Ich möchte die Schriftgröße im Grace-Editor-Fenster erhöhen (z. B. 'Datei', 'Bearbeiten', 'Daten', Dropdown-Menüs, Tasten usw.). Ich laufe Grace 5.1.23 auf Ubuntu 14.04. Ich habe das Programm auf 2 Maschinen und 4 Monitoren mit verschiedenen Auflösungen laufen lassen - die Schrift ist bei all diesen immer gleich klein. Ich habe mit einem anderen Benutzer verifiziert, dass die Schriftart korrekt auf meinen Computern gerendert wird (d. H. Die Schriftart ist standardmäßig klein).

Um klar zu sein: Ich möchte nicht Standard Abbildung Einstellungen ändern. Ich möchte die Schriftgröße des Grace-Editors selbst ändern.

Ich habe versucht:

1. die Default.agr bearbeiten. Dies scheint nur die Standardeinstellungen der Figur zu beeinflussen, nicht der Editor selbst.
2. Durchsuchen Sie alle Optionen in den Grace-Dropdownmenüs.
3. Auf der Suche nach Hilfe in der Grace Tutorial/FAQ usw.
4. Schielen; meinen Hals verrenken.

Die Schriftart ist wahnsinnig klein. Ich würde dieses Programm ganz aufgeben, wenn mein Vorgesetzter nicht darauf besteht, dass ich es benutze.

Answer 1

Es scheint, dass in grace/xmgrace keine integrierte Option zum Ändern der Symbolleistenmenüschriftarten vorhanden ist.

Da sich das Werkzeugleistenmenü nicht als standardmäßiges Unity-Bedienfeldmenü (am oberen Bildschirmrand) manifestiert, haben die systemweiten Einstellungen unter unity-tweak-tools keinen Einfluss auf die Symbolleistenschriftgröße.

Sie könnten versuchen, den Quellcode von grace/xmgrace zu ändern und Ihre eigene Version mit größeren Symbolleistenschriften zu kompilieren. Der Quellcode für Grace ist verfügbar unter ftp://plasma-gate.weizmann.ac.il/pub/grace/src/.