Floating dock-widget resize border size

--===============2202809617967985200==
Content-Type: multipart/alternative; boundary=001a114f2c98f4602a0523905417

--001a114f2c98f4602a0523905417
Content-Type: text/plain; charset=UTF-8

I am developing an app using Qt 5.5

I have a main window with a dock, and a dockable window which can be
dragged out/popped out, floating in its own separate window. (QDockWidget)

The resize border width of the main window is perfectly adequate, so
resizing the main window using the mouse is very easy.

I've marked the resize border width in red here:
http://i.stack.imgur.com/1aM5x.png

When I pop out my docked window, so that it's now floating, the resize
border width drops down to a single pixel, as seen here:
http://i.stack.imgur.com/f5R65.png.

As such it is almost impossible to resize a floating dock window.

I am running Ubuntu Gnome 14.04, so using Gnome 3 with (I think?) Adwaita
theme.

I have tested this on default Ubuntu 14.04, so using Unity, and this is not
an issue there (the resize border width is several pixels, so much easier
to "find" with the mouse)

How can I configure Gnome 3 / Adwaita to increase this border width?

TIA
Steve

--001a114f2c98f4602a0523905417
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">I am developing an app using Qt 5.5<div><br></div><div>I h=
ave a main window with a dock, and a dockable window which can be dragged o=
ut/popped out, floating in its own separate window. (QDockWidget)</div><div=
><br></div><div>The resize border width of the main window is perfectly ade=
quate, so resizing the main window using the mouse is very easy.</div><div>=
<br></div><div>I&#39;ve marked the resize border width in red here:=C2=A0<a=
 href=3D"http://i.stack.imgur.com/1aM5x.png">http://i.stack.imgur.com/1aM5x=
.png</a></div><div><br></div><div>When I pop out my docked window, so that =
it&#39;s now floating, the resize border width drops down to a single pixel=
, as seen here:=C2=A0<a href=3D"http://i.stack.imgur.com/f5R65.png">http://=
i.stack.imgur.com/f5R65.png</a>.</div><div><br></div><div>As such it is alm=
ost impossible to resize a floating dock window.</div><div><br></div><div>I=
 am running Ubuntu Gnome 14.04, so using Gnome 3 with (I think?)=C2=A0Adwai=
ta theme.</div><div><br></div><div>I have tested this on default Ubuntu 14.=
04, so using Unity, and this is not an issue there (the resize border width=
 is several pixels, so much easier to &quot;find&quot; with the mouse)</div=
><div><br></div><div>How can I configure Gnome 3 / Adwaita to increase this=
 border width?</div><div><br></div><div>TIA</div><div>Steve</div></div>

--001a114f2c98f4602a0523905417--

--===============2202809617967985200==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
gnome-themes-list mailing list
[email protected]
To unsubscribe (and more):
https://mail.gnome.org/mailman/listinfo/gnome-themes-list

--===============2202809617967985200==--