fazo96/AIrium
1
0
Fork 0
mirror of https://github.com/fazo96/AIrium.git synced 2025-01-10 09:34:20 +01:00
Code Issues Releases Wiki Activity

better GUI update system

Browse Source
This commit is contained in:
Enrico Fasoli 2015-07-06 20:02:11 +02:00
parent f60469bbdf
commit 7ee5c502c4
1 changed files with 29 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

32
desktop/src/gui/GUI.java
View File

@ -11,6 +11,8 @@ import com.mygdx.game.Game;
import com.mygdx.game.Listener; import com.mygdx.game.Listener;
import com.mygdx.game.Log; import com.mygdx.game.Log;
import com.mygdx.game.Log.LogListener; import com.mygdx.game.Log.LogListener;
import java.util.logging.Level;
import java.util.logging.Logger;
import javax.swing.JOptionPane; import javax.swing.JOptionPane;
import logic.World; import logic.World;
@ -22,6 +24,8 @@ public class GUI extends javax.swing.JFrame implements LogListener, Listener {
private Game game; private Game game;
private LwjglApplication app; private LwjglApplication app;
private boolean shouldUpdateGUI = false;
private Thread guiUpdater;
/** /**
* Creates new form GUI * Creates new form GUI
@ -30,6 +34,24 @@ public class GUI extends javax.swing.JFrame implements LogListener, Listener {
initComponents(); initComponents();
setLocationRelativeTo(null); // Center the window setLocationRelativeTo(null); // Center the window
Log.addListener(this); Log.addListener(this);
guiUpdater = new Thread() {
@Override
public void run() {
for (;;) {
if (shouldUpdateGUI) {
updateGUI();
shouldUpdateGUI = false;
} else {
try {
Thread.sleep(5000);
} catch (InterruptedException ex) {
}
}
}
}
};
guiUpdater.setPriority(Thread.MAX_PRIORITY);
guiUpdater.start();
logTextArea.setText("Started GUI.\n"); logTextArea.setText("Started GUI.\n");
} }
@ -197,11 +219,13 @@ public class GUI extends javax.swing.JFrame implements LogListener, Listener {
@Override @Override
public void on(int event) { public void on(int event) {
if (event == Listener.FPS_CHANGED) { shouldUpdateGUI = true;
status.setText("Generation: " + game.getWorld().getGeneration() + " FPS: " + game.getWorld().getFps()); guiUpdater.interrupt();
} else if (event == Listener.CREATURE_LIST_CHANGED) {
setCreatureList();
} }
public void updateGUI() {
status.setText("Generation: " + game.getWorld().getGeneration() + " FPS: " + game.getWorld().getFps());
setCreatureList();
} }
private void setCreatureList() { private void setCreatureList() {