Ich bin neu auf LightTable IDE.
jemand weiß, wie man workspace und Windows Schriftgröße einstellen.
Ich kann Editor Schriftgröße ändern. aber nicht wissen, wie man font-size für anderes Element einstellt. oder ändern Sie die Schriftgröße global für alle IDE-Schriftarten.Leuchttisch, Schriftgröße
Öffnen Sie das Befehlsfenster (^Space), suchen Sie nach "Benutzerverhalten". Dies öffnet die Konfigurationsdatei. Fügen Sie den folgenden in der Mitte (Leuchttisch 0.7+):
[:editor :lt.objs.style/font-settings "Menlo" 13 2]
Auf älteren Versionen Leuchttisch hinzufügen Sie stattdessen:
:editor [:lt.objs.editor/no-wrap
(:lt.objs.style/font-settings "Menlo" 13 2) ;; font-family: Menlo, font-size: 13px, line-height: 2em
(:lt.objs.style/set-theme "default")]
tnx. aber ich versuche es. Es ändert Editor-Schriftart und nicht Auswirkungen auf den Arbeitsbereich oder andere Elemente wie Windows-Name Schriftart oder Dateien Schriftgröße – somename
@ash (über [vorgeschlagene Bearbeitung] (http://Stackoverflow.com/review/suggested-edits/6282913)): Sie wahrscheinlich sollte das als eine separate Antwort vorlegen; Das Ändern einer vorhandenen Antwort zum Hinzufügen neuer Methoden wird nicht empfohlen, es sei denn, die Antwort ist ein Community-Wiki. – Pokechu22
https://groups.google.com/forum/#!topic/light-table-discussion/KJpBfOPy660
zoom für alternative Option ..
Put folgende Zeile in user.behaviors:
[:app :lt.objs.plugins/load-css "/home/<your_username>/.config/LightTable/console.css"]
In console.css setzen etwas wie folgt aus:
ul.console, em.file, em.line {
font-family:"DejaVu Sans"
font-size:12px;
}
ul.console > li > table > tr > td > pre {
font-family:"Ubuntu Mono";
font-size:12px;
}
Natürlich müssen Sie nicht zwei verschiedene Schriftfamilien als Dateinamen haben und Ausgang sind bereits in verschiedenen Farben gedruckt, aber es gibt sie.
CSS-Styling wird nicht dynamisch als Benutzer Tastenkombinationen und Verhaltensweisen neu geladen, wenn Sie Ihre CSS ändern, müssen Sie schließen & LightTable wieder öffnen. Das sollte behoben werden, hoffentlich öffnet jemand ein Problem bei github issue tracker. ;)
tnx. Ich versuche es. es funktioniert nicht – somename
* auf Einstellungen klicken: Nutzerverhalten
* Kommentar- (entfernen ;;) unter ;; [: App: lt.objs.style/font-settings "Arial" "13"] und ändern Sie den letzten Wert, der die Schriftgröße
stellt derzeit 'gemeinsames Verhalten die folgende Zeile ;; zu berücksichtigen Strg-'reduziert die Schriftart einiger Elemente außerhalb des Editors, aber' Strg + 'tut nichts, so dass Sie wirklich schnell ratlos sind .... – matanster