Pagina 1 di 1

Grandezza caratteri

Inviato: mercoledì 22 maggio 2019, 10:38
da olokin
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:

Re: Grandezza caratteri

Inviato: giovedì 23 maggio 2019, 20:24
da Alessandro Ciuchetti
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... ;)

Re: Grandezza caratteri

Inviato: venerdì 24 maggio 2019, 4:40
da derma
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.

Re: Grandezza caratteri

Inviato: venerdì 24 maggio 2019, 11:59
da olokin
Alessandro Ciuchetti [url=https://forum.ubuntu-it.org/viewtopic.php?p=5135214#p5135214][img]https://forum.ubuntu-it.org/images/icons/icona-cita.gif[/img][/url] 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.

Re: Grandezza caratteri

Inviato: venerdì 24 maggio 2019, 12:02
da olokin
...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?

Re: Grandezza caratteri

Inviato: venerdì 24 maggio 2019, 12:08
da derma
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.

Re: Grandezza caratteri

Inviato: venerdì 31 maggio 2019, 15:08
da olokin
E dei caratteri dei menù del pannello qualcuno sa dirmi qualcosa§?

Re: Grandezza caratteri

Inviato: venerdì 31 maggio 2019, 15:12
da derma

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.

Re: Grandezza caratteri

Inviato: venerdì 31 maggio 2019, 15:18
da olokin
A questo punto immagino che la domanda sia come accedere a questi benedetti file CSS che non ho ancora capito...

Re: Grandezza caratteri

Inviato: venerdì 31 maggio 2019, 17:47
da derma
olokin [url=https://forum.ubuntu-it.org/viewtopic.php?p=5136715#p5136715][img]https://forum.ubuntu-it.org/images/icons/icona-cita.gif[/img][/url] 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?

Re: Grandezza caratteri

Inviato: venerdì 31 maggio 2019, 18:53
da olokin
uso un tema instrallato da me in usr/share/themes

Re: Grandezza caratteri

Inviato: venerdì 31 maggio 2019, 18:59
da derma
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?

Re: Grandezza caratteri

Inviato: sabato 1 giugno 2019, 8:45
da olokin
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.

Re: Grandezza caratteri

Inviato: sabato 1 giugno 2019, 10:46
da derma
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".