After connecting HTPC via HDMI cable to 42″ LG TV (42LD650), resolution was correctly set to 1920×1080 (HDTV) but screen was recognized as 7″. The result was wrong scaling for windows, fonts and mouse pointer. Luckily, solution is easy and with gsettings command (and logout/login) GNOME 3.10 desktop environment is set to normal in a minute.
This problem is described on Add window-scaling/hiDPI option bugzilla page with all details and attached screenshots. I assume that my LG TV didn’t send complete EDID information and on top of that, GNOME made conclusion about 7″ display size instead of 42″.
Here is command to execute in terminal as ordinary user (not root):
gsettings set org.gnome.desktop.interface scaling-factor 1
This command should immediately set some display elements to correct scaling, but to apply change for whole desktop you will have to logout and login. Set key can be read back with “get” option:
gsettings get org.gnome.desktop.interface scaling-factor
In the meantime, when we’re waiting for a bug solution, it will be nice to have option in GNOME GUI (say for advanced users) to turn off the window scaling.