On Thu, 2013-08-15 at 07:40 +, johannes hanika wrote:
> I'll give the font size a try but fear that with that change
> the width of the side bars also grows.
>
> no it doesn't. can you please try before you complain?
Yep, you're right. It doesn't change the width, I tried i
$ grep font ~/.config/darktable/darktable.gtkrc
font_name = "Sans 10"
^^^ that.
style "scale-fixed-font" = "clearlooks-default"
font_name = "Monospace 8"
font_name = "Sans bold 9"
#class "GtkScale" style "scale-fixed-font"
if it's not in the /usr/share copy your installatio
* Patrick Shanahan [08-15-13 08:15]:
>
> And I find no "font" string within /usr/share/darktable/darktable.gtkrc.
> What should the string be and in what order should it appear in
> darktable.gtkrc?
>
Sorry, I do find it in this mornings update from git. Please disreguard
and I will advise re
* johannes hanika [08-14-13 11:40]:
> uh, sorry. not darktablerc, my bad. it's darktable.gtkrc, and if you don't
> have it in ~/.config/darktable/ you can first copy it from
> /usr/share/darktable/ (or where ever you installed dt to).
>
> On Wed, Aug 14, 2013 at 4:58 PM, bartokk wrote:
> > 2013/
On Thu, Aug 15, 2013 at 12:34 AM, HaJo Schatz wrote:
>
>
> On 15 Aug 2013, at 01:28, "Marie-Noëlle Augendre"
> wrote:
>
>
>
>
> 2013/8/14 Patrick Shanahan
>
>>
>>
>> I am aware of this, but the *size* of the slider still requires great
>> attention to locate the mouse pointer, ...
>>
>
> +1
>
>
