Change Details

Take the device pixel ratio into consideration when rendering the logo, so it looks nice in HighDPI mode. BUG: 390605 Main Window Before: {F5720442} Main Window After: {F5720443} Settings Before: {F5720444} Settings After: {F5720445}

Take the device pixel ratio into consideration when rendering the logo, so it looks nice in HighDPI mode. BUG: 390605 Main Window Before: {F5720518} Main Window After: {F5720519} Settings Before: {F5720520} Settings After: {F5720521}

Take the device pixel ratio into consideration when rendering the logo, so it looks nice in HighDPI mode. BUG: 390605 Main Window Before: {F5720442}518} Main Window After: {F5720443}519} Settings Before: {F5720444}520} Settings After: {F5720445}521}