jbfavre: @vince2_ sure it worked. Problem is: was it with GNOME 3.12 & font tweaks or GNOME 3.14 with HiDPI ? I would say the first
lundi 13 octobre 2014 à 07:48@vince2_ sure it worked. Problem is: was it with GNOME 3.12 & font tweaks or GNOME 3.14 with HiDPI ? I would say the first