Re: Formatting of Outline view: Intentional or side-effect of native themes?

2018-04-26 Thread Jürgen Spitzmüller
2018-04-26 17:02 GMT+02:00 Klaus-Dieter Bauer : > Hello! > > Before submitting an enhancement request, I wanted to ask if there already > *are* possibilities to customize how the outline view looks. > > [image: lyx-tree.png] > (mirror for image:

Re: Formatting of Outline view: Intentional or side-effect of native themes?

2018-04-26 Thread Steve Litt
On Thu, 26 Apr 2018 15:02:09 + Klaus-Dieter Bauer wrote: > Hello! > > Before submitting an enhancement request, I wanted to ask if there > already *are* possibilities to customize how the outline view looks. > > [image: lyx-tree.png] > (mirror for image: