Как изменить настройку LightDM DPI

Как изменить настройку LightDM DPI, чтобы мой монитор 4k не отображал крошечные виджеты в Ubuntu 18.04?

Так что это:

Становится так:

PS - Я заимствовал это изображение из другого места. Я на самом деле не работаю с Ubuntu 17.10.

Полное раскрытие: я использую Linux Mint 19 AKA Ubuntu 18.04 + Cinnamon