File tree Expand file tree Collapse file tree 1 file changed +3
-1
lines changed
drjava/src/edu/rice/cs/drjava/ui Expand file tree Collapse file tree 1 file changed +3
-1
lines changed Original file line number Diff line number Diff line change @@ -5781,6 +5781,7 @@ void debuggerAutomaticTrace() {
57815781
57825782 /** Enable automatic trace. Assumes that the debugger is ready. */
57835783 private void enableAutomaticTrace () {
5784+ if (!isDebuggerEnabled ()) return ; // debugger isn't used
57845785 try {
57855786 int rate = DrJava .getConfig ().getSetting (OptionConstants .AUTO_STEP_RATE );
57865787
@@ -5809,6 +5810,7 @@ public void actionPerformed(ActionEvent e) {
58095810
58105811 /** Disable the automatic trace. Assumes that the debugger is ready. */
58115812 private void disableAutomaticTrace () {
5813+ if (!isDebuggerEnabled ()) return ; // debugger isn't used
58125814 _log .log ("disableAutomaticTrace(): isDebuggerReady() = " +isDebuggerReady ());
58135815 _model .getDebugger ().setAutomaticTraceEnabled (false );
58145816 _debugPanel .setAutomaticTraceButtonText ();
@@ -6945,7 +6947,7 @@ private void _setDebugMenuItemsEnabled(boolean isEnabled) {
69456947 private void _setThreadDependentDebugMenuItems (boolean isSuspended ) {
69466948 _guiAvailabilityNotifier .ensureAvailabilityIs (GUIAvailabilityListener .ComponentType .DEBUGGER_SUSPENDED ,
69476949 isSuspended );
6948- _debugPanel .setAutomaticTraceButtonText ();
6950+ if ( _showDebugger ) { _debugPanel .setAutomaticTraceButtonText (); }
69496951 }
69506952
69516953 /** Creates and returns the language levels menu.
You can’t perform that action at this time.
0 commit comments