– improve child positioning (still WiP for the reduced padding version)
– add pagination buttons if necessary
– preliminary pagination mechanics (not quite working)
– add some default textures on the texture manager so that widgets can show certain basic textures without a need to have a texture manager instance
This adds the bulk of the mechanics for the pagination, this still requires some tweaks though. That means it will already show the pagination buttons if need be, otherwise it will use the full width to show the actual content.
The other change made is that the TextureManager now always pre-loads some basic UI textures, amongst those the scroll up/down textures and also exposes these texture IDs publicly, so that they can be used from anywhere without having an instance of the TextureManager ready.