Grandezza caratteri

Configurazione e uso delle applicazioni del desktop manager alla base di Ubuntu MATE.

Grandezza caratteri

Messaggioda olokin » mercoledì 22 maggio 2019, 9:38

Salve a tutti, sto cercando di modificare:

    - Dimensione del carattere dei menù contestuali (tasto destro del mouse) e dei menù del pannello;

    - Spessore del pannello contenente il titolo del programma in uso;

    - Dimensione di caratteri ed icone "interni" ai programmi, ad es in firefox la dimensione del URL corrente e delle icome del tasto Home Page, Back o Segnalibri;


È possibile che in "Preferenze dell'aspetto" io non abbia ingrandito i caratteri (li ho ingranditi tutti) in maniera proporzionale, per cui certe cose potrebbero apparirmi più piccole, in tal caso potreste indicarmi a quali voci di Preferenze dell'Aspetto corrispondono i tre punti che vi ho elencato?

Grazie mille a tutti!

P.S.
Ero indeciso sulla sezione dove postare, ma ho pensato che fosse una questione correlata esclusivamente all'ambiente grafico (ho ubuntu mate 18.04), per cui mi scuso in anticipo se ho sbagliato. :birra:
Avatar utente
olokin
Prode Principiante
 
Messaggi: 14
Iscrizione: maggio 2019
Desktop: mate
Distribuzione: Ubuntu 18.04.1 LTS 64bit
Sesso: Maschile

Re: Grandezza caratteri

Messaggioda Alessandro Ciuchetti » giovedì 23 maggio 2019, 19:24

Ciao olokin, prima che gli altri ti rispondano vorrei chiederti se hai valutato una soluzione del genere. Mi pare d'aver capito che vuoi ingrandire quasi tutto, quindi... ;)
Diari Acustici, blog di liuteria.
La costruzione della chitarra folk raccontata nei nostri diari.
Avatar utente
Alessandro Ciuchetti
Prode Principiante
 
Messaggi: 38
Iscrizione: maggio 2018
Desktop: mate
Distribuzione: Ubuntu 18.04 LTS x86_64
Sesso: Maschile

Re: Grandezza caratteri

Messaggioda derma » venerdì 24 maggio 2019, 3:40

Provasti a impostare la grandezza caratteri nella scheda apposita in "Aspetto" ?...


Immagine

...per quanto riguarda il pannello, presumo che tu con "spessore" intenda l'altezza... "tasto desto (su una zona del pannello senza icone) → Proprietà → Generale (scheda) → Dimensione" ...per i programmi, come ad esempio FF che tu menzionasti, devi cambiarli tu tramite "CSS", creando quindi un file con estensione appunto in ".css", o utilizzando il file "userChrome.css" che si trova in "/home/<nome-utente>/.mozilla/firefox/<nome-del-profilo>/chrome/", in cui andare a specificare cosa vuoi cambiare... questa non è proprio una cosa immediata poiché devi "scoprire" quali siano i riferimenti alle parti di FF che intendi modificare.
__Ŧ__
'\°°/'
Γı /\ ı\   |7 Γı Γı Γı -|-
Avatar utente
derma
Rampante Reduce
Rampante Reduce
 
Messaggi: 7028
Iscrizione: settembre 2006
Località: Sicilia
Distribuzione: Ubuntu 15.10 (Wily Werewolf)

Re: Grandezza caratteri

Messaggioda olokin » venerdì 24 maggio 2019, 10:59

Alessandro Ciuchetti Immagine ha scritto:Ciao olokin, prima che gli altri ti rispondano vorrei chiederti se hai valutato una soluzione del genere. Mi pare d'aver capito che vuoi ingrandire quasi tutto, quindi... ;)

Avevo letto anche io, tuttavia il mio schermo è già settato ad una risoluzione ottimale, se modifico risulta sgranatissimo.
Avatar utente
olokin
Prode Principiante
 
Messaggi: 14
Iscrizione: maggio 2019
Desktop: mate
Distribuzione: Ubuntu 18.04.1 LTS 64bit
Sesso: Maschile

Re: Grandezza caratteri

Messaggioda olokin » venerdì 24 maggio 2019, 11:02

...per quanto riguarda il pannello, presumo che tu con "spessore" intenda l'altezza... "tasto desto (su una zona del pannello senza icone) → Proprietà → Generale (scheda) → Dimensione" ...per i programmi, come ad esempio FF che tu menzionasti, devi cambiarli tu tramite "CSS", creando quindi un file con estensione appunto in ".css", o utilizzando il file "userChrome.css" che si trova in "/home/<nome-utente>/.mozilla/firefox/<nome-del-profilo>/chrome/", in cui andare a specificare cosa vuoi cambiare... questa non è proprio una cosa immediata poiché devi "scoprire" quali siano i riferimenti alle parti di FF che intendi modificare.


Per la grandezza dei pannelli titolo ho risolto modificando anche le altre voci, per cui ora è un po più proporzionato, per il resto, ovvero Firefox, ho il problema che non avendo un profilo firefox, non ho la cartella "nome del profilo", è necessario che me ne crei uno?
Avatar utente
olokin
Prode Principiante
 
Messaggi: 14
Iscrizione: maggio 2019
Desktop: mate
Distribuzione: Ubuntu 18.04.1 LTS 64bit
Sesso: Maschile

Re: Grandezza caratteri

Messaggioda derma » venerdì 24 maggio 2019, 11:08

Prima di avventurarti nella modifica del layout di FF tramite CSS, prova a vedere se modificando le impostazioni disponibili in FF al riguardo... "Preferenze → Contenuti (scheda) → Caratteri e colori → Avanzate"... riesci ad ottenre ciò che desideri.


EDIT: Con "<nome-del-profilo>" mi riferisco al nome della cartella che viene utilizzata da FF quando sia avvia... non è la cartella che contiene l'eseguibile del programma ma quella cartella il cui nome contiene dei caratteri alfanumerici generati al momento della creazione della stessa.
__Ŧ__
'\°°/'
Γı /\ ı\   |7 Γı Γı Γı -|-
Avatar utente
derma
Rampante Reduce
Rampante Reduce
 
Messaggi: 7028
Iscrizione: settembre 2006
Località: Sicilia
Distribuzione: Ubuntu 15.10 (Wily Werewolf)

Re: Grandezza caratteri

Messaggioda olokin » venerdì 31 maggio 2019, 14:08

E dei caratteri dei menù del pannello qualcuno sa dirmi qualcosa§?
Avatar utente
olokin
Prode Principiante
 
Messaggi: 14
Iscrizione: maggio 2019
Desktop: mate
Distribuzione: Ubuntu 18.04.1 LTS 64bit
Sesso: Maschile

Re: Grandezza caratteri

Messaggioda derma » venerdì 31 maggio 2019, 14:12

olokin Immagine ha scritto:E dei caratteri dei menù del pannello qualcuno sa dirmi qualcosa§?



In questo caso devi andare a specificare il font/carattere per lo "style" nel CSS del tema in uso... ad esempio...


Codice: Seleziona tutto
font_name = "Bold 9"



...andando poi a scegliere se tale font/carattere e la sua grandezza debba interessare tutti o alcuni elementi del pannello.
__Ŧ__
'\°°/'
Γı /\ ı\   |7 Γı Γı Γı -|-
Avatar utente
derma
Rampante Reduce
Rampante Reduce
 
Messaggi: 7028
Iscrizione: settembre 2006
Località: Sicilia
Distribuzione: Ubuntu 15.10 (Wily Werewolf)

Re: Grandezza caratteri

Messaggioda olokin » venerdì 31 maggio 2019, 14:18

A questo punto immagino che la domanda sia come accedere a questi benedetti file CSS che non ho ancora capito...
Avatar utente
olokin
Prode Principiante
 
Messaggi: 14
Iscrizione: maggio 2019
Desktop: mate
Distribuzione: Ubuntu 18.04.1 LTS 64bit
Sesso: Maschile

Re: Grandezza caratteri

Messaggioda derma » venerdì 31 maggio 2019, 16:47

olokin Immagine ha scritto:A questo punto immagino che la domanda sia come accedere a questi benedetti file CSS che non ho ancora capito...



Che tema usi?... uno di quelli di default?... lo installasti invece tu?
__Ŧ__
'\°°/'
Γı /\ ı\   |7 Γı Γı Γı -|-
Avatar utente
derma
Rampante Reduce
Rampante Reduce
 
Messaggi: 7028
Iscrizione: settembre 2006
Località: Sicilia
Distribuzione: Ubuntu 15.10 (Wily Werewolf)

Re: Grandezza caratteri

Messaggioda olokin » venerdì 31 maggio 2019, 17:53

uso un tema instrallato da me in usr/share/themes
Avatar utente
olokin
Prode Principiante
 
Messaggi: 14
Iscrizione: maggio 2019
Desktop: mate
Distribuzione: Ubuntu 18.04.1 LTS 64bit
Sesso: Maschile

Re: Grandezza caratteri

Messaggioda derma » venerdì 31 maggio 2019, 17:59

Vai nella cartella di quel tema da te installato, e copia incolla il contenuto del file "gtkrc" presente, inserendolo tra i tag [ c o d e ] [ / c o d e ].



P.S.: Ma perché lo installasti in quel percorso/cartella?
__Ŧ__
'\°°/'
Γı /\ ı\   |7 Γı Γı Γı -|-
Avatar utente
derma
Rampante Reduce
Rampante Reduce
 
Messaggi: 7028
Iscrizione: settembre 2006
Località: Sicilia
Distribuzione: Ubuntu 15.10 (Wily Werewolf)

Re: Grandezza caratteri

Messaggioda olokin » sabato 1 giugno 2019, 7:45

Vai nella cartella di quel tema da te installato, e copia incolla il contenuto del file "gtkrc" presente, inserendolo tra i tag [ c o d e ] [ / c o d e ].


Codice: Seleziona tutto
# Text/base
gtk-color-scheme = "text_color:#333333\nbase_color:#FFFFFF"
# Foreground/background
gtk-color-scheme = "fg_color:#333333\nbg_color:#F5F5F5"
# Selected foreground/background
gtk-color-scheme = "selected_fg_color:#FFFFFF\nselected_bg_color:#686868"
# Titlebar foreground/background
gtk-color-scheme = "titlebar_fg_color:#FFFFFF\ntitlebar_bg_color:#383838"
# Links
gtk-color-scheme = "link_color:#42A5F5\nvisited_link_color:#E040FB"
# Panel
gtk-color-scheme = "topbar_bg_color:#222222\ntopbar_fg_color:#EFEFEF"

# Set GTK settings
gtk-auto-mnemonics              = 1
gtk-primary-button-warps-slider = 1

# And hand over the control to the theme files
include "main.rc"
include "apps.rc"
include "hacks.rc"
include "panel.rc"
include "xfce-notify.rc"


P.S.: Ma perché lo installasti in quel percorso/cartella?

Perché se installato in /home/utente/.themes non li leggeva nel momento in cui andavo a selezionare un tema nuovo da installare.
Avatar utente
olokin
Prode Principiante
 
Messaggi: 14
Iscrizione: maggio 2019
Desktop: mate
Distribuzione: Ubuntu 18.04.1 LTS 64bit
Sesso: Maschile

Re: Grandezza caratteri

Messaggioda derma » sabato 1 giugno 2019, 9:46

Posta il contenuto del file "panel.rc" di cui sopra.


P.S.: È sufficiente creare un link in "usr/share/themes" della cartella contenente il tema che si trova in "~/.themes".
__Ŧ__
'\°°/'
Γı /\ ı\   |7 Γı Γı Γı -|-
Avatar utente
derma
Rampante Reduce
Rampante Reduce
 
Messaggi: 7028
Iscrizione: settembre 2006
Località: Sicilia
Distribuzione: Ubuntu 15.10 (Wily Werewolf)


Torna a MATE

Chi c’è in linea

Visualizzano questa sezione: 0 utenti registrati e 1 ospite