Merge pull request #7442 from binarydigitz01/master

Display ID of addon in addon manager
This commit is contained in:
Charles Dang 2023-03-08 11:15:24 -05:00 committed by GitHub
commit 23678b247b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 33 additions and 0 deletions

View file

@ -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]

View file

@ -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;