[Geany-devel] Fix styling group copying
Colomban Wendling
lists.ban at xxxxx
Sun Apr 24 15:33:08 UTC 2011
Le 15/04/2011 05:11, Matthew Brush a écrit :
> Hi,
>
> I fixed an issue that was noticed once geany-themes switched to the
> styling group copying stuff added in r5596[1]. If the user config files
> are using named styles with different names from the system ones, then
> only copying the styling group from the system file means that some of
> the user's colour scheme named styles won't be used and the result is
> some stuff not being colourized.
>
> Attached is a patch to fix this.
Fixed slightly differently (the idea is the same, the code not) in r5736.
Thanks for finding this and tracking it down :)
Cheers,
Colomban
More information about the Devel
mailing list