A skin editor for libGDX