>
> Ah, I believe I made it so that if mutter wasn't installed, it just
> uses the default value of 10px, as there was very little usecase for
> making it configurable.
>
> If you want to adjust it, you'll have to install mutter, and adjusting
> that setting will adjust the draggable border width on both mutter and
> unity.
Thanks. I might do that. I still urge the developers to either add such a
key to dconf or just fix the issue in Unity.
2013/2/1 Sam Spilsbury <email address hidden>
>
> Ah, I believe I made it so that if mutter wasn't installed, it just
> uses the default value of 10px, as there was very little usecase for
> making it configurable.
>
> If you want to adjust it, you'll have to install mutter, and adjusting
> that setting will adjust the draggable border width on both mutter and
> unity.
Thanks. I might do that. I still urge the developers to either add such a
key to dconf or just fix the issue in Unity.