The Linux Mint Update Manager
Clone or download
mtwebster preferences.ui: Allow a vertical scrollbar in the first preferences
page, and make its window slightly larger to start with.

Fixes #370
Latest commit fff677d Sep 13, 2018