Created attachment 927437 [details] The before screenshot Description of problem: In some situations the title-bar of windows in gnome-shell scales wrong on a HiDPI screen. It starts correct, but when shell crashes and restarts, or after a alt-F2 and then type the "r" command, it scales wrong. A reboot sets it back to normal Version-Release number of selected component (if applicable): GNOME Shell 3.10.4 How reproducible: Steps to Reproduce: 1. Boot into F20 on a HiDPi screen. Observe titlebar of term window 2. Type alt-F2 and give "r" command. Observe titlebar of term window 3. Actual results: Wrong scale of title bar Expected results: Correct scale of titlebar Additional info: See screenshots for a before and after example
Created attachment 927438 [details] The After screenshot
I have seen a version (could be 3.12) or could be Fedora 21 or could be rawhide, i don't remember, where this is solved. I will close it.