case 1:
gl.setMargin(true);
state.setValue("Margin on");
break;
case 2:
gl.setMargin(new MarginInfo(true, false, false, false));
state.setValue("Margin top");
break;
case 3:
gl.setMargin(new MarginInfo(false, true, false, false));
state.setValue("Margin right");
break;
case 4:
gl.setMargin(new MarginInfo(false, false, true, false));
state.setValue("Margin bottom");
break;
case 5:
gl.setMargin(new MarginInfo(false, false, false, true));
state.setValue("Margin left");
break;
default:
stateCounter = -1;
nextMarginState();