Re: [ jEdit-devel ] Bold only highlight in hypersearch results

[Shlomy R. <sre...@gm...>]

On Wed, Feb 11, 2009 at 3:03 PM, Kazutoshi Satoda
<k_s...@f2...> wrote:
> Hi Shlomy,
>
> I want to use highlight in hypersearch results as bold only. But If I
> check [Bold] and uncheck [Text color], It still make the text color
> black and the highlighted part becomes hard to read.
>
> Could it be possible?
>

Yes, I guess this is a bug, I will check.

>
> By the way, why the new feature is enabled by default? I think its
> better to disable it by default since a fixed color might be bad for
> someone which has different color scheme.
> --
> k_satoda
>

At first, I thought to make the new feature disabled by default. But
then I figured out, that this is a useful feature, and if it is off by
default many users, for whom it's useful, would miss it.

Shlomy