Display ID of addon in addon manager

data/gui/window/addon_manager.cfg

@@ -507,6 +507,38 @@
 
 								[/row]
 
+								[row]
+									grow_factor = 1
+
+									[column]
+										grow_factor = 0
+										border = "all"
+										border_size = 5
+										horizontal_alignment = "left"
+
+										[label]
+											definition = "gold_small"
+											label = _ "Id:"
+											linked_group = "detail_labels"
+										[/label]
+
+									[/column]
+
+									[column]
+										grow_factor = 1
+										border = "all"
+										border_size = 5
+										horizontal_grow = true
+
+										[label]
+											id = "id"
+											definition = "default_small"
+										[/label]
+
+									[/column]
+
+								[/row]
+
 							[/grid]
 
 						[/column]

src/gui/dialogs/addon/manager.cpp

@@ -1095,6 +1095,7 @@ void addon_manager::on_addon_select()
 
 	const std::string& feedback_url = info->feedback_url;
 	find_widget<label>(parent, "url", false).set_label(!feedback_url.empty() ? feedback_url : _("url^None"));
+	find_widget<label>(parent, "id", false).set_label(info->id);
 
 	bool installed = is_installed_addon_status(tracking_info_[info->id].state);
 	bool updatable = tracking_info_[info->id].state == ADDON_INSTALLED_UPGRADABLE;