(Panes num)
| 75 | } |
| 76 | |
| 77 | private String getPaneString(Panes num) { |
| 78 | switch (num) { |
| 79 | |
| 80 | case HISTORY : |
| 81 | return "History"; |
| 82 | case INTERCEPT : |
| 83 | return "Interceptor"; |
| 84 | case RESENDER : |
| 85 | return "Resender"; |
| 86 | case VULCHECKHELPER : |
| 87 | return "VulCheck Helper"; |
| 88 | case BULKSENDER : |
| 89 | return "Bulk Sender"; |
| 90 | case EXTENSIONS : |
| 91 | return "Extensions"; |
| 92 | case OPTIONS : |
| 93 | return "Options"; |
| 94 | case LOG : |
| 95 | return "Log"; |
| 96 | } |
| 97 | return null; |
| 98 | } |
| 99 | |
| 100 | private GUIMain(String title) { |
| 101 | try { |