public TextureAtlas.AtlasRegion getFlipped(TextureAtlas.AtlasRegion tex) {
   TextureAtlas.AtlasRegion r = myFlipped.get(tex);
   if (r != null) return r;
   r = myTexProvider.getCopy(tex);
   r.flip(true, false);
   myFlipped.put(tex, r);
   return r;
 }
 public ToolChooser(@NtN Skin skin) {
   this.skin = skin;
   TextureAtlas.AtlasRegion toolsRegion = skin.getAtlas().findRegion("tools");
   int size = toolsRegion.getRegionHeight();
   regions = toolsRegion.split(size, size)[0];
 }