If the above patches are from January 2015 then they likely need refreshing for a more current release. They would need to work in 17.10, and also need to be designed so as to not affect low DPI users.
Please review/update your patches for Ubuntu 17.10, and when done set the status here back to confirmed.
If the above patches are from January 2015 then they likely need refreshing for a more current release. They would need to work in 17.10, and also need to be designed so as to not affect low DPI users.
Please review/update your patches for Ubuntu 17.10, and when done set the status here back to confirmed.