1 | JPopupMenu getDefaultVisualizerMenu() {↵ | | 1 | JPopupMenu getDefaultVisualizerMenu() {↵
|
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 getDefaultTimerMenu() {↵ | | 7 | public static JPopupMenu getDefaultTimerMenu() {↵
|
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 | }↵
|
|
13 | public static JPopupMenu getDefaultAssertionMenu() {↵ | | 13 | public static JPopupMenu getDefaultAssertionMenu() {↵
|
14 | JPopupMenu pop = new JPopupMenu();↵ | | 14 | JPopupMenu pop = new JPopupMenu();↵
|
15 | MenuFactory.addEditMenu(pop, true);↵ | | 15 | MenuFactory.addEditMenu(pop, true);↵
|
16 | MenuFactory.addFileMenu(pop);↵ | | 16 | MenuFactory.addFileMenu(pop);↵
|
17 | return pop;↵ | | 17 | return pop;↵
|
18 | }↵ | | 18 | }↵
|
|
19 | public static JPopupMenu getDefaultExtractorMenu() {↵ | | 19 | public static JPopupMenu getDefaultExtractorMenu() {↵
|
20 | JPopupMenu pop = new JPopupMenu();↵ | | 20 | JPopupMenu pop = new JPopupMenu();↵
|
21 | MenuFactory.addEditMenu(pop, true);↵ | | 21 | MenuFactory.addEditMenu(pop, true);↵
|
22 | MenuFactory.addFileMenu(pop);↵ | | 22 | MenuFactory.addFileMenu(pop);↵
|
23 | return pop;↵ | | 23 | return pop;↵
|
24 | | | 24 |
|