Thank you Little Girl for your very useful 2 posts - locate is very
useful command that I had not spotted!
My source-installed geany 1.36 had two geany.css files, one in
geany-main/geany-1.36/data/geany.css - the main system one
geany-main/geany-1.36/doc/geany.css - clearly one meant for html
My 1.38 install was via apt install, and funnily enough locate does not
find the one in .config/geany/geany.css
The entries in the local geany.css have the form like the last one for
example:
/* red "Terminal" label when terminal dirty */
#geany-terminal-dirty {
color: #ff0000;
}
I have tried your version and to my surprise it worked!
But only after a complete reload (Tools-->Reload Configuration was ignored)
So it seems that the #geany- prefix needs to be removed when adding new
entries not already in the local geany.css
Much progress!
Geoff
Hey there,
Geoff Kaniuk via Users wrote:
I can guess that the entry for the statusbar font-size might look
like:
#geany-statusbar {
font: 15pt monospace;
}
I forgot to add, in that earlier message, that this selector worked
for me:
statusbar {
font: 15pt monospace;
}
_______________________________________________
Users mailing list -- users@lists.geany.org
To unsubscribe send an email to users-le...@lists.geany.org