Changeset 1102 for trunk/src/org/expeditee/agents/DefaultAgent.java
- Timestamp:
- 05/10/18 16:04:51 (6 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/expeditee/agents/DefaultAgent.java
r919 r1102 19 19 package org.expeditee.agents; 20 20 21 import org.expeditee.gui.DisplayController; 21 22 import org.expeditee.gui.Frame; 22 import org.expeditee.gui.FrameGraphics;23 23 import org.expeditee.gui.MessageBay; 24 24 import org.expeditee.gui.TimeKeeper; … … 128 128 AGENTS_RUNNING--; 129 129 130 FrameGraphics.requestRefresh(true);130 DisplayController.requestRefresh(true); 131 131 SessionStats.setEnabled(true); 132 132 }
Note:
See TracChangeset
for help on using the changeset viewer.