Lucas CHOLLET 741138c585 LibGUI: Add a prefix to IncrementalSearchBanner's widgets name ...

Widget's name are the current way to retrieve them when using GML.
Presently, there is no way to differentiate two items that share the
same name.

`IncrementalSearchBanner` uses common names as "close_button" or
"next_button", prepend them with `incremental_search_banner_` avoid
collisions.

This fixes a bug where the close button of `CrashReporter` was confused
with the one of the search banner.

However, This solution isn't perfect, down the road, we should probably
find a way to warn about equal names and introduce something like
namespace to avoid huge prefixes.

2022-12-08 17:20:51 +01:00

4.7 KiB

Raw Blame History

View Raw