Re: gutter setting

2023-03-31 Thread Rich Siegel 
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 "supp...@barebones.com" 
> rather than posting here. Follow @bbedit on Twitter: 
> 
> ---
> 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+unsubscr...@googlegroups.com.
> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/bbedit/77122dca-0e0d-4f12-81b7-45b3940768f1n%40googlegroups.com.

-- 
This is the BBEdit Talk public discussion group. If you have a feature request 
or need technical support, please email "supp...@barebones.com" rather than 
posting here. Follow @bbedit on Twitter: 
--- 
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+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/bbedit/93018C74-E7E7-441A-BBBA-F2D0F495C037%40barebones.com.

Re: gutter setting

2023-03-31 Thread Murray Smith 
Hi Rich

Thank you so much for the prompt reply.

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.

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 "supp...@barebones.com" rather than 
posting here. Follow @bbedit on Twitter: 
--- 
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+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/bbedit/77122dca-0e0d-4f12-81b7-45b3940768f1n%40googlegroups.com.

Re: gutter setting

2023-03-30 Thread Rich Siegel 
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 "supp...@barebones.com" rather than 
posting here. Follow @bbedit on Twitter: 
--- 
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+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/bbedit/6F2F8432-D53E-4F4B-9149-3BF889BC3DFA%40barebones.com.

gutter setting

2023-03-30 Thread Murray Smith 
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

Murray

-- 
This is the BBEdit Talk public discussion group. If you have a feature request 
or need technical support, please email "supp...@barebones.com" rather than 
posting here. Follow @bbedit on Twitter: 
--- 
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+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/bbedit/9398587b-c7b7-471f-951f-5000cd9053b7n%40googlegroups.com.