A layout editor for modifying Android XML Layouts on Android tablets