Translations:HiDPI support/15/en


 * Detect that device pixel ratio has changed
 * Notify all widgets depending on device pixel ratio or the font size