How to scale Xfce 4.13 for 4K HiDPI screen?

[Paul Menzel]

Dear Olivier,


On 05/29/18 15:26, Olivier Fourdan wrote:

> On 29 May 2018 at 15:21, Paul Menzel <pmenzel+xfce at molgen.mpg.de> wrote:
> 
>> On 05/25/18 14:34, Paul Menzel wrote:
>>
>> [...]
>>
>>
>> So, the current state is, that everything kind of works. Three minor
>> issues remain:
>>
>> 1.  The mouse pointer is not scaled, and therefore too small.
> 
> The pointer has its own theme/scale.
> 
>> 2.  The window borders(?) are not scaled, so the icons/buttons and window
>> title text is too small.
> 
> The default window manager theme comes in 3 sizes, just select the hidpi
> one.

Thank you for the pointers. I use them to work around it, but it’s not 
what the user expects I believe. If scaling is configured, in my opinion 
everything should be scaled.

This would also solve the following problem, mainly in organisations, 
where the home directories are mounted over network, and people can log 
into different systems, which have no-HiDPI and HiDPI displays connected.

The user would need to set up a script, which detects if it’s a HiDPI 
monitor or not, and set up the cursor size and window manager theme.

>> 3.  The panel action button is incorrectly rendered, that means, I see the
>> background and the name is not centered.
> 
>  That's probably a bug in the panel plugin.

That could be. Reading the bug report *[Bug 14155] Position of maximized 
windows is wrong if window scaling is set to "x2"* [1], it might be a 
GTK+ bug [2][3]. I’ll report back, once GTK+ 3.22.31 is released.


Kind regards,

Paul


[1] https://bugzilla.xfce.org/show_bug.cgi?id=14155
[2] https://gitlab.gnome.org/GNOME/gtk/merge_requests/164
[3] https://gitlab.gnome.org/GNOME/gtk/merge_requests/165

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5174 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mail.xfce.org/pipermail/xfce/attachments/20180530/84ba26a8/attachment.bin>