<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">Hi,</div><div class="gmail_quote"><br></div><div class="gmail_quote">On 29 May 2018 at 15:21, Paul Menzel <span dir="ltr"><<a href="mailto:pmenzel+xfce@molgen.mpg.de" target="_blank">pmenzel+xfce@molgen.mpg.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On 05/25/18 14:34, Paul Menzel wrote:<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">[...]</blockquote></span>
<br>
So, the current state is, that everything kind of works. Three minor issues remain:<br>
<br>
1.  The mouse pointer is not scaled, and therefore too small.<br></blockquote><div><br></div><div>The pointer has its own theme/scale.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
2.  The window borders(?) are not scaled, so the icons/buttons and window title text is too small.<br></blockquote><div><br></div><div>The default window manager theme comes in 3 sizes, just select the hidpi one.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
3.  The panel action button is incorrectly rendered, that means, I see the background and the name is not centered.<br></blockquote><div><br></div><div> That's probably a bug in the panel plugin.</div><div><br></div><div>Cheers,</div><div>Olivier</div></div></div></div>