What was this?

wxMaxima-developers · May 17, 2023 · d757c53 · d757c53
1 parent 6e9e6d6
commit d757c53
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/wxMaxima.cpp b/src/wxMaxima.cpp
@@ -10374,7 +10374,7 @@ void wxMaxima::TriggerEvaluation() {
           m_worksheet->ScrollToCaret();
         }
       }
-const
+
       m_worksheet->SetWorkingGroup(tmp);
       tmp->GetPrompt()->SetValue(m_lastPrompt);
       tmp->ResetSize();