- Now the texture wall editor keeps an updated handler for the currently selected texture wall (TextureWallHandler*).
- Now the user can set, from the GUI, the texture associated to the currently active texture wall.