înregistrare Logare
Puncte:0
avatar Ubuntu

Este posibil să atribuiți stiluri și culori de font la Gedit și Gnome Terminal prin tema GTK a sistemului?

drapel ng
guttermonk

Am Gnome Tweaks instalat pe Ubuntu și am fost curios dacă este posibil să alocați culori și stiluri de font la Gedit și Terminal prin tema de sistem pentru a crea un aspect mai unificat.

Pe măsură ce soluționez, am reușit să selectez Solarized în ambele aplicații, dar fundalurile nu se potriveau cu tema Arc-Dark. Deci, în Gnome Terminal, a trebuit să personalizez fundalul și să introduc manual codul hexadecimal folosit pentru fundalul Arc-Dark. În Gedit am reușit să salvez o copie a fișierului Gedit Solarized .xml în /.local/share/gedit/styles și ajustați ușor codul hexadecimal pentru a se potrivi cu Terminalul.

Dezavantajul soluției este că, dacă îmi schimb tema sistemului, trebuie să intru și în fiecare aplicație și să schimb culorile fontului. Ar fi frumos dacă ar exista o opțiune în ambele aplicații pentru a utiliza tema de sistem, dar eram curios dacă știa cineva dacă acest lucru este posibil.

Referinte:

25
0 + 0
drapel cn
egmont
Fila Preferințe -> Culori a terminalului GNOME are opțiunea „Utilizați culorile din sistem acolo”, acesta este ceea ce căutați?
0
Răspunde
drapel ng
guttermonk
Acest lucru ajută la setarea fundalului pentru a se potrivi cu tema sistemului, dar nu ajută la utilizarea unei teme personalizate care nu este deja preîncărcată în terminalul Gnome și ca aceasta să se potrivească cu Gedit. Sunt destul de sigur că ceea ce vreau să fac nu se poate face din cutie, dar nu sunt sigur dacă există o modalitate de a face asta prin piratare a ceva.
0
Răspunde
drapel cn
egmont
Nu sunt familiarizat cu evidențierea sintaxei lui gedit și definițiile similare, dar cred că poate funcționa dintr-un număr nelimitat de culori. Terminalul, datorită moștenirii tuturor terminalelor, folosește în primul rând un set de 2 (implicit fg + bg) + 16 (paletă) culori.Terminalele GNOME vă permit să luați cele 2 valori din setările globale GTK, dar cele 16 culori ale paletei sunt afacerea proprie a terminalului, nu sunt partajate de sau luate din nicio altă setare GNOME. Puteți să le interogați programatic și să le setați folosind `dconf` sau `gsettings` sub `/org/gnome/terminal/legacy`, vedeți de ex. https://askubuntu.com/q/803230/398785.
1
Răspunde
drapel ng
guttermonk
Ar putea fi un proiect distractiv să faci un script care să analizeze una dintre temele gedit postate pe gnome-look.org și să tragi automat 16 coduri hexadecimale împreună cu numele temei și să le introduci la terminal folosind dconf sau gsettings (în funcție de versiunea ta de Ubuntu) pentru a face un profil potrivit. Este încă un fel de nedumerit - În mod ideal, o paletă de culori a fontului ar putea fi aleasă în setările de aspect al sistemului și ar putea fi o opțiune în orice aplicație dacă să o aplici.
0
Răspunde
drapel romania
SEF 777
întrebarea această in alte limbi:

Postează un răspuns

Majoritatea oamenilor nu înțeleg că a pune multe întrebări deblochează învățarea și îmbunătățește legătura interpersonală. În studiile lui Alison, de exemplu, deși oamenii își puteau aminti cu exactitate câte întrebări au fost puse în conversațiile lor, ei nu au intuit legătura dintre întrebări și apreciere. În patru studii, în care participanții au fost implicați în conversații ei înșiși sau au citit transcrieri ale conversațiilor altora, oamenii au avut tendința să nu realizeze că întrebarea ar influența – sau ar fi influențat – nivelul de prietenie dintre conversatori.