News in 5.1.1, 2020-10-11 ------------------------- * Add TeplSpaceDrawerPrefs, a preferences widget for GtkSourceSpaceDrawer. * Translation updates.