How to scale Xfce 4.13 for 4K HiDPI screen?
pmenzel+xfce at molgen.mpg.de
Wed May 30 13:48:13 CEST 2018
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
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"* , it might be a
GTK+ bug . I’ll report back, once GTK+ 3.22.31 is released.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 5174 bytes
Desc: S/MIME Cryptographic Signature
More information about the Xfce