1 | JPopupMenu getDefaultAssertionMenu() {↵ | | 1 | JPopupMenu getDefaultConfigElementMenu() {↵
|
2 | JPopupMenu pop = new JPopupMenu();↵ | | 2 | JPopupMenu pop = new JPopupMenu();↵
|
3 | MenuFactory.addEditMenu(pop, true);↵ | | 3 | MenuFactory.addEditMenu(pop, true);↵
|
4 | MenuFactory.addFileMenu(pop);↵ | | 4 | MenuFactory.addFileMenu(pop);↵
|
5 | return pop;↵ | | 5 | return pop;↵
|
6 | }↵ | | 6 | }↵
|
|
7 | public static JPopupMenu getDefaultExtractorMenu() {↵ | | 7 | public static JPopupMenu getDefaultVisualizerMenu() {↵
|
8 | JPopupMenu pop = new JPopupMenu();↵ | | 8 | JPopupMenu pop = new JPopupMenu();↵
|
9 | MenuFactory.addEditMenu(pop, true);↵ | | 9 | MenuFactory.addEditMenu(pop, true);↵
|
10 | MenuFactory.addFileMenu(pop);↵ | | 10 | MenuFactory.addFileMenu(pop);↵
|
11 | return pop;↵ | | 11 | return pop;↵
|
12 | } | | 12 | }
|