Comment 8 for bug 1355137

The attached files were not submitted as a full patch that solves the problem how to switch between non-hidpi and hidpi systems, but just pointing to the spots where the problematic gtk2 widgets can be multiplied in size.

If it is possible to have a switch in gtkrc, someone with gtk2 theming experience (design team?) would need to take a look.