Editor for librocket, a game interface library