--- settings-ui.xml.orig 2017-10-26 17:20:33.167538071 +0000 +++ settings-ui.xml 2017-10-26 17:04:02.976373390 +0000 @@ -103,7 +103,7 @@