Restore fix for debugger button from #74.

Restore fix from d126c70893 that were lost when accepting changes on master from 200afc4fd8.
This commit is contained in:
A Pottinger
2020-04-26 09:28:15 -07:00
parent 1a90b30cd0
commit 0f2bfb1d31
2 changed files with 2 additions and 1 deletions

View File

@@ -1862,6 +1862,7 @@ public class JavaEditor extends Editor {
public void toggleDebug() {
// debugEnabled = !debugEnabled;
debugger.toggleEnabled();
rebuildToolbar();
repaint(); // show/hide breakpoints in the gutter

View File

@@ -198,7 +198,7 @@ public class Debugger {
}
void toggleEnabled() {
public void toggleEnabled() {
enabled = !enabled;
if (enabled) {