PR looks fine for me, but I believe it has got nothing todo with
problem I described. Anyways, this problem is not visible after
Aurelien removed bold font in darktable.css — 
https://github.com/darktable-org/darktable/commit/337323535dfe6543b1fc875ac5339b44ab250ad0

Thanks for your work,

Timur.

On Mon, 2019-11-11 at 12:57 +0100, Nicolas Auffray wrote:
> Hi,
> At Timur, please test my PR here : 
> https://github.com/darktable-org/darktable/pull/3362
> sams96 replies this day that my PR fix this. I never had this issue
> so that was not the purpose on start but if it helps !
> Have a good day
> 
> Le 11/11/2019 à 03:57, Sam a écrit :
> > Hey Timur, I opened an issue on github for this, but it seems like
> > it's just you and I that see this so I was wondering what OS and
> > maybe DE you're using?
> > 
> > Thanks
> > 
> > On Fri, 8 Nov 2019 at 02:49, Timur Irikovich Davletshin <
> > timur.davlets...@gmail.com> wrote:
> > > Buttons in following darkroom modules require fixing too:
> > > 
> > > vignetting, rgb levels, levels, color mapping, basic adjustments.
> > > 
> > > Timur.
> > > 
> > > On Thu, 2019-11-07 at 15:09 +0800, Sam wrote:
> > > > I've added fixes to a couple of these to my pull request here.
> > > > 
> > > 
> > > 
> > 
> > ___________________________________________________________________
> > ________ darktable developer mailing list to unsubscribe send a
> > mail to darktable-dev+unsubscr...@lists.darktable.org 

___________________________________________________________________________
darktable developer mailing list
to unsubscribe send a mail to darktable-dev+unsubscr...@lists.darktable.org

Reply via email to