Let the user exclude maps from random map-picking

[Imarok]

There should be a way to exclude maps from the random map-picking when selecting random random maps in gamesetup.

[Lionkanzen]

With tags?

[Imarok]

No, the user would just select some maps he/she doesn't want to get picked random

[elexis]

i.e. a map selection dialog where every map is shown with preview and a checkbox beneath it? Thus also avoiding costy gamesetup updates when browsing the map for suitable thumbnails?

[Imarok]

Yeah, why not?

[elexis]

#5209 contains some implementation design the word "filter" (which is the word used in the code and GUI labels so people might search for it), so dupeclosing this one instead if you don't mind.