mirror of
https://github.com/wesnoth/wesnoth
synced 2025-05-10 12:26:59 +00:00
f24f6adee1
The pager is held by the play_controller and wraps around the wmi_container, if there are too many items it adds "More Items" or "Earlier Items" entries. These entries have special reserved ids, if they are selected the pager traps them. Future work might be to allow the page_size_ to be selected in the preferences, that is currently left as a variable to make it easy to support this.