settings.js: fix whitespace

lolbinarycat · lolbinarycat · commit ef1827b97452 · 2025-04-02T15:24:38.000-05:00
diff --git a/src/librustdoc/html/static/js/settings.js b/src/librustdoc/html/static/js/settings.js
@@ -19,7 +19,7 @@
             return false;
         }
     }
-    
+
     /**
      * @overload {"theme"|"preferred-dark-theme"|"preferred-light-theme"}
      * @param {string} settingName

Original file line number	Diff line number	Diff line change
`@@ -19,7 +19,7 @@`
`19`	`19`	`return false;`
`20`	`20`	`}`
`21`	`21`	`}`
`22`		`-`
	`22`	`+`
`23`	`23`	`/**`
`24`	`24`	`* @overload {"theme"\|"preferred-dark-theme"\|"preferred-light-theme"}`
`25`	`25`	`* @param {string} settingName`