On 31 Mar 2023, at 0:48, Murray Smith wrote:
> I had a look a the manual, and unfortunately with my very limited coding
> skills I couldn't work out how to change the gutter color without changing
> the editors background color; I see that you have said that the gutter is
> derived from the background color (but washed out) - is this a set value or
> do you know if it can be tweaked, and if so any hints on how I might try
> this.
Since the line number/gutter color is derived from the background color, the two are related and to change the former perforce requires changing the latter.
What, specifically, are you trying to accomplish?
R.
> Thanks again for your time
>
> Murray
>
> On Friday, 31 March 2023 at 07:28:08 UTC+11 Rich Siegel wrote:
>
>> On 30 Mar 2023, at 16:19, Murray Smith wrote:
>>
>>> I have searched the net for weeks. - does anyone know how to change the
>>> settings for gutter color, font etc in BBedit 14; I'm sure it can be done
>>> since different themes have different gutter color settings - thanks in
>>> advance
>>
>> The user manual (available on the Help menu) contains a discussion of how
>> the text color settings work. You'll find it in the section called "Text
>> Colors Preferences", beginning on page 258.
>>
>> The background of the line bar/gutter bar and other adornments of the text
>> area are derived from the "Background Color" setting. (The background color
>> is applied, and then "washed" to differentiate it from the text view
>> background.)
>>
>> R.
>>
>
> --
> This is the BBEdit Talk public discussion group. If you have a feature request or need technical support, please email "
sup...@barebones.com" rather than posting here. Follow @bbedit on Twitter: <
https://twitter.com/bbedit>
> ---
> You received this message because you are subscribed to the Google Groups "BBEdit Talk" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to
bbedit+un...@googlegroups.com.
> To view this discussion on the web visit
https://groups.google.com/d/msgid/bbedit/77122dca-0e0d-4f12-81b7-45b3940768f1n%40googlegroups.com.