Skip to content

Commit

Permalink
fix comment issues
Browse files Browse the repository at this point in the history
The large block of comments appears to have been copied by IntelliJ during a
refactoring.
  • Loading branch information
garfieldnate committed Mar 7, 2024
1 parent 2253a66 commit ac18c2d
Showing 1 changed file with 6 additions and 22 deletions.
28 changes: 6 additions & 22 deletions Java/Debugger/src/edu/umich/soar/debugger/MainFrame.java
Original file line number Diff line number Diff line change
Expand Up @@ -221,20 +221,6 @@ public MainFrame(Composite parent, Document doc)

// Listen for changes to the state of Soar and update our menus
// accordingly
// If the connection has changed reset the focus to null
// If we're removing the current focus agent then
// set the focus to null for this window.
// If this agent is being closed down then decide if we
// should
// destroy the window or not.
// We need to switch out of this thread because we're in
// a handler for
// the before_agent_destroyed() event and calling
// close() should shutdown the
// kernel if this is the last window. So we thread
// switch.
// If we don't destroy the window we need to set the current
// agent to being nothing
SoarChangeListener m_SoarChangeListener = new SoarChangeListener() {
@Override
public void soarConnectionChanged(SoarConnectionEvent e) {
Expand All @@ -251,18 +237,16 @@ public void soarAgentListChanged(SoarAgentEvent e) {
if (e.isAgentRemoved()
&& Document.isSameAgent(e.getAgent(), m_AgentFocus)) {
// If this agent is being closed down then decide if we
// should
// destroy the window or not.
// should destroy the window or not.
boolean destroyOnClose = m_Document
.isCloseWindowWhenDestroyAgent();

if (destroyOnClose) {

// We need to switch out of this thread because we're in
// a handler for
// the before_agent_destroyed() event and calling
// close() should shutdown the
// kernel if this is the last window. So we thread
// switch.
// a handler for the before_agent_destroyed() event and
// calling close() should shutdown the kernel if this is
// the last window. So we thread-switch.
getDisplay().asyncExec(() -> close());
return;
}
Expand Down Expand Up @@ -414,7 +398,7 @@ private void thisWindowClosing()
// this.setAgentFocus(null);

// Record the current window positions as properties,
// which we can then save.
// which we can then save. Technically this is only needed for the last closed window.
RecordWindowPositions();

// Save current layout file
Expand Down

0 comments on commit ac18c2d

Please sign in to comment.