Add Trick Logo and Buttons that will be activated in the near future.

This commit is contained in:
John M. Penn 2025-02-11 16:06:27 -06:00
parent a908134dc0
commit c57034b0ee
2 changed files with 23 additions and 3 deletions

View File

@ -34,6 +34,16 @@ public class JobSpecificationMap {
}
}
}
// TODO:
// Sometimes job specifications, and therefore their IDs are not recorded in the S_job_execution file.
// So, when we attempt to find one of these unrecorded Job specs by ID, we get null.
//
// Job IDs are of the form XX.YY (e.g., 12.03). The XX part is associated with
// a particular component sim object. The YY part identifies a specific job from that
// sim object.
// If an unknown ID shares the XX part of the ID, then perhaps we could at least report which
// simobject the job came from.
in.close();
}

View File

@ -2,7 +2,10 @@ package trick.jobperf;
import java.awt.*;
import java.awt.event.*;
import java.awt.image.BufferedImage;
import java.io.*;
import javax.imageio.ImageIO;
import javax.swing.*;
import java.net.URL;
@ -86,13 +89,13 @@ public class TraceViewInputToolBar extends JToolBar implements ActionListener {
}
});
advanceRangeButton = new JButton("Advance");
advanceRangeButton = new JButton("\u25bc");
advanceRangeButton.addActionListener(this);
advanceRangeButton.setActionCommand("advance-frame-range");
advanceRangeButton.setToolTipText("Advance the selected range of frames to be displayed.");
add(advanceRangeButton);
advanceRangeButton = new JButton("Retreat");
advanceRangeButton = new JButton("\u25b2");
advanceRangeButton.addActionListener(this);
advanceRangeButton.setActionCommand("retreat-frame-range");
advanceRangeButton.setToolTipText("Retreat the selected range of frames to be displayed.");
@ -100,7 +103,14 @@ public class TraceViewInputToolBar extends JToolBar implements ActionListener {
add( new JLabel(" "));
// Add Trick LOGO here.
// Add Trick LOGO.
try {
BufferedImage image = ImageIO.read(getClass().getResource("/trick/common/resources/trick_small.gif"));
add( new JLabel( new ImageIcon(image)));
} catch (IOException e) {
System.out.println("Failed to load image.");
}
}
@Override