()
| 1385 | |
| 1386 | |
| 1387 | public void toggleDebug() { |
| 1388 | // debugEnabled = !debugEnabled; |
| 1389 | |
| 1390 | debugger.toggleEnabled(); |
| 1391 | rebuildToolbar(); |
| 1392 | repaint(); // show/hide breakpoints in the gutter |
| 1393 | |
| 1394 | /* |
| 1395 | if (debugEnabled) { |
| 1396 | debugItem.setText(Language.text("menu.debug.disable")); |
| 1397 | } else { |
| 1398 | debugItem.setText(Language.text("menu.debug.enable")); |
| 1399 | } |
| 1400 | inspector.setVisible(debugEnabled); |
| 1401 | |
| 1402 | for (Component item : debugMenu.getMenuComponents()) { |
| 1403 | if (item instanceof JMenuItem && item != debugItem) { |
| 1404 | item.setEnabled(debugEnabled); |
| 1405 | } |
| 1406 | } |
| 1407 | */ |
| 1408 | } |
| 1409 | |
| 1410 | |
| 1411 | /* |
no test coverage detected