Commit 929d4615 authored by Johannes Roith's avatar Johannes Roith

Reorder tabs.

parent fa53f8d2
......@@ -61,10 +61,10 @@ public class MultiPageEditor extends MultiPageEditorPart
public final int OVERVIEW_PAGE_INDEX = 0;
public final int EDITOR_PAGE_INDEX = 1;
public final int CONFLICTS_PAGE_INDEX = 2;
public final int GRAPH_PAGE_INDEX = 3;
public final int ACTION_TABLE_PAGE_INDEX = 4;
public final int REDUCE_TABLE_PAGE_INDEX = 5;
public final int CONFLICT_GRAPH_PAGE_INDEX = 6;
public final int CONFLICT_GRAPH_PAGE_INDEX = 3;
public final int GRAPH_PAGE_INDEX = 4;
public final int ACTION_TABLE_PAGE_INDEX = 5;
public final int REDUCE_TABLE_PAGE_INDEX = 6;
private int previousPageIndex = EDITOR_PAGE_INDEX;
......@@ -179,10 +179,10 @@ public class MultiPageEditor extends MultiPageEditorPart
createOverviewPage(jumper);
createConflictsPage(jumper);
createConflictGraphPage(jumper);
createGraphPage(jumper);
createActionTablePage(jumper);
createReduceTablePage(jumper);
createConflictGraphPage(jumper);
setActivePage(previousPageIndex);
}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment