Merge branch 'master' into jgrpp

2020-05-07 20:57:13 +01:00
parent 58c02030c2 170f3f9b2b
commit 07c9621fcf
83 changed files with 199 additions and 120 deletions
--- a/src/widgets/misc_widget.h
+++ b/src/widgets/misc_widget.h
@@ -26,6 +26,7 @@ enum AboutWidgets {
 	WID_A_WEBSITE,        ///< URL of OpenTTD website.
 	WID_A_WEBSITE1,       ///< URL of patchpack thread.
 	WID_A_WEBSITE2,       ///< URL of patchpack github.
+	WID_A_COPYRIGHT,      ///< Copyright string
 };

 /** Widgets of the #QueryStringWindow class. */