public static void setDirs(boolean allowStay){
        if (allowStay)
            DIRS = new String[] { "R", "S", "L" }; //made this non-static to allow for switching option
        else{
//            EDebug.print("Reduction");
            DIRS = new String[] { "R", "L" }; //made this non-static to allow for switching option
        }

		STROKES = new KeyStroke[DIRS.length]; //we shall see ...arrays can't change size though
		for (int i = 0; i < STROKES.length; i++)
			STROKES[i] = KeyStroke.getKeyStroke("shift " + DIRS[i]);

        BOX.removeAllItems();
        for (int i = 0; i < DIRS.length; i++)
            BOX.addItem(DIRS[i]);
    }