Não é possível definir o dimensionamento da interface do usuário por exibição no Gnome

Question

Problema

Eu quero poder ter diferentes opções de dimensionamento de interface definidas por monitor. No momento, só posso alterar valores para todos os monitores.

Estou usando o Ubuntu Gnome 15.04 em um Lenovo ThinkPad X1 Carbon (3ª geração). Eu apreciarei muito qualquer ajuda que alguém possa fornecer.

Configurações atuais

$ xdpyinfo | grep dots
resolution:    96x96 dots per inch

$ xrdb -query | grep dpi
Xft.dpi:    144

$ cat /var/log/Xorg.0.log | grep DPI
[    18.258] (==) intel(0): DPI set to (96, 96)

$ xrandr | grep -w connected
eDP1 connected primary 2560x1440+0+0 (normal left inverted right x axis y axis) 310mm x 174mm
HDMI2 connected 2560x1080+2560+0 (normal left inverted right x axis y axis) 798mm x 334mm

$ gnome-shell --version
GNOME Shell 3.14.4

Ideal para laptop

$ gsettings get org.gnome.desktop.interface text-scaling-factor
0.75
$ gsettings get org.gnome.settings-daemon.plugins.xsettings overrides
{'Gtk/ShellShowsAppMenu': <0>, 'Gdk/WindowScalingFactor': <2>}

Ideal para monitor externo

$ gsettings get org.gnome.desktop.interface text-scaling-factor
0.5
$ gsettings get org.gnome.settings-daemon.plugins.xsettings overrides
{'Gtk/ShellShowsAppMenu': <0>, 'Gdk/WindowScalingFactor': <1>}

Eu tentei

escala xrandr

$ xrandr --output HDMI1 --scale 2x2

Este parecia ser um bom resultado, mas a tela ficou difícil. É inutilizável.