[pull] master from beyond-all-reason:master

language/en/interface.json

@@ -789,6 +789,7 @@
 				"changed": "Changed",
 				"local": "Your own",
 				"all": "All",
+				"favorite": "Favorites",
 				"interface": "Interface",
 				"commands": "Commands",
 				"units": "Units",
@@ -825,6 +826,10 @@
 			"profiler": "Cost",
 			"byload": "By cost",
 			"alldesc": "Every widget the game knows about, whether it is running or not.",
+			"favoritedesc": "The widgets you have starred. Click the star ahead of any widget's name to put it here, and click it again to take it out. Nothing else about the widget changes.",
+			"staradd": "Add to favorites",
+			"starremove": "Remove from favorites",
+			"stardesc": "Collects this widget under Favorites at the top of the column, so it is one click away whatever else the list is showing. It is a bookmark and nothing more: it does not switch the widget on, and it is remembered between games.",
 			"changeddesc": "Every widget switched to something other than what it ships as - on when it ships off, or off when it ships on. What this game has been customised into, and exactly what Factory defaults would undo.",
 			"prefixdesc": "Widgets whose file begins with %{prefix}.",
 			"otherdesc": "Widgets whose file begins with something this panel has no category for.",