Schriftgröße unter IntelliJ IDEA dynamisch anpassen

In der IDE IntelliJ IDEA von JetBrains kann die Schriftgröße für den Editor, wie gewünscht eingestellt werden. In manchen Fällen soll die Schriftgröße allerdings dynamisch eingestellt werden. Ein solcher Fall ist z.B. der Präsentationsmodus. In diesem Modus wird der Editor im Vollbild-Modus dargestellt und dient so der Präsentation des Quellcodes.

Das Einstellungsfenster von IntelliJ IDEA

Sollen hier die Zeilen, je nach Anforderung, nun größer oder kleiner dargestellt werden, kann dies über eine Option in den Einstellungen erreicht werden. In den Einstellungen findet sich unter Editor -> General der Punkt Change font size (Zoom) with Command+Mouse Wheel. Auf anderen Betriebssystemen wird statt der Command-Taste die Ctrl-Taste genutzt. Wird diese Option aktiviert, kann die Größe der Schriftart, in Verbindung mit der Command-Taste, dynamisch über das Mausrad eingestellt werden.

Fonteinstellungen in Scrivener

Scrivener ist eine Applikation für jeden der viel Text produziert. Was mir persönlich nie so richtig gefiel, waren die Fonteinstellungen. Diese sind in der Mac OS X Version Standardmäßig auf „Cochin“ mit einer Schriftgröße von 14 px eingestellt. Einmal ist mir die Größe der Schrift zu klein sowie das Schriftbild der „Cochin“ ziemlich suspekt.

Also musste Ersatz her. Ein sehr schönes Beispiel für ein gelungenes Schreibprogramm ist ja der iA Writer, welcher nur zum Schreiben gedacht ist, und dementsprechend nichts anderes kann. Es stellte sich also die Frage welche Schriftart dort genutzt wird, die Antwort findet man doch recht schnell: es ist Nitti Light. Einziges Problem an dieser, ist der Preis von 81,75 € – für das Geld bekommt man 2x Scrivener (Umrechnung in Fußballfelder folgt später ;)).

Also musste eine Schriftart her, welche metrisch ähnlich zu „Nitti Light“ ist. Abhilfe habe ich bei den Google Webfonts gefunden. Dort gibt es den Font „Cousine“ welcher „Nitti Light“ metrisch ähnlich ist und bei welchem sich es auch um einen Monospace-Font handelt. Er steht dabei unter der SIL Open Font License 1.1.

Nachdem der Font unter Mac OS X installiert wurde, kann mit der Konfiguration von Scrivener begonnen werden. Dazu öffnet man die Einstellungen von Scrivener und geht zum „Formatting“ Tab.

Die Fonteinstellungen unter Scrivener

Dort klickt man auf das „große A“ in der Toolbar im „Main Text Style“ Block. Anschließend kann man dort „Cousine“ mit einer Schriftgröße von 18 px einstellen. Nun steht man allerdings vor dem Problem das diese Einstellung nicht in das geöffnete Projekt übernommen wird. Die Einstellungen gelten im ersten Moment nur für neue Texte.

Um dies zu ändern geht man in die „Corkboard“-Ansicht und wählt dort mittels „Cmd + A“ alle Karteikarten der Pinwand aus. Nun wählt man im Menü „Documents“ -> „Convert“ -> „Formatting to Default Text Style…“ aus und bestätigt den sich öffnenden Dialog. Damit werden alle markierten Dokumente der Pinwand umgewandelt.

Thunderbird und die Sache mit der Schriftgröße

Im Thunderbird ist es kein Problem die Schriftgröße der Nachricht einzustellen (Strg + / Strg -). Davon unabhängig lässt sich die Schriftgröße der Mailanzeige und der Ordnerstruktur nicht ohne weiteres ändern. Möchte man diese ändern so geht man in sein Thunderbird Profilordner, den man bei Gelegenheit auch gleich einmal sichern sollte. Unter Windows ist der Ordner unter Dokumente und Einstellungen\’Nutzername’\Anwendungsdaten\Thunderbird zu finden. Unter Linux ist er meist unter /home/’Nutzername’/.mozilla-thunderbird zu finden.

Nun legt man in dem Chrome Ordner also z.B. in /home/seeseekey/.mozilla-thunderbird/nfeuk4fn.default/chrome eine Datei namens userChrome.css an un schreibt dort folgendes hinein:

/* Fonts in Menüs, usw */
menubar, menubutton, menulist, menu, menuitem, textbox,
toolbar, tree, .tab-text, tooltip, sidebarheader, statusbar, commonDialog,
#abContactsPanel #toButton, #abContactsPanel #bccButton,
#abContactsPanel #ccButton {
font-size: 12px !important;
}

/* Fonts in Listen wie z.B. Mails oder Accounts */
treechildren {font-size: 8pt !important;
}

Und schon wird das ganze kleiner dargestellt. Umgekehrt funktioniert es natürlich auch für die Vergrößerung der Schrift.

Weitere Informationen gibt es unter:
http://www.thunderbird-mail.de/forum/viewtopic.php?t=25201
http://www.firefox-browser.de/wiki/UserChrome