protected void showCase(int i)
    {
        try
        {
            Case c = myLemma.getCase(i);
            
            if(c.getI() != -1)
            {
                myPane.setDecomposition(c.getInput(), c.getI());
                myPane.displayIEnd();
                myPane.setVisibilityStages(4, true);
                myPane.setCanvas();
                setAddReplaceButtonsEnabled(true);
            }
            else
            {
                myPane.setDecomposition(c.getInput());
                myPane.setVisibilityStages(4, false);
                setAddReplaceButtonsEnabled(false);
            }
            refresh();
            /*
             * Highlight (select) the case shown.
             */
            myTable.getSelectionModel().setSelectionInterval(i, i);
            myMessage.setText("Showing case #" + (i + 1) + ".");

        }
        catch(ArrayIndexOutOfBoundsException e)
        {
            /* 
             * This should not happen because the button should be disabled
             * if there is no selection.
             */
            myMessage.setText("Please select a case to show.");
        }
    }