У меня есть небольшая проблема с Jlabel. Когда метка отображает двойные, которые являются большими для экрана, я хотел бы иметь полосу прокрутки, чтобы увидеть их в любом случае. Я только что добавил полосу прокрутки ко всей панели, но она не проверяет, отображается ли слишком длинный двойник.
вот мой код
public class OverviewPanel extends JPanel {
private static final long serialVersionUID = 1L;
private JLabel textNoNodes = new JLabel();
private JLabel textNoEdges = new JLabel();
private JLabel textInitial = new JLabel();
private JLabel textTargets = new JLabel();
private JLabel textFilename = new JLabel();
private JLabel textProbabilityModelCheck = new JLabel();
private JLabel textProbabilityCounterExample = new JLabel();
private JLabel textNoSteps = new JLabel();
public OverviewPanel() {
super(new SpringLayout());
addRow("Number states", textNoNodes);
addRow("Number edges", textNoEdges);
addRow("Initial", textInitial);
addRow("Targets", textTargets);
addRow("Filename", textFilename);
addRow("Prob. model check", textProbabilityModelCheck);
addRow("Prob. counter example", textProbabilityCounterExample);
addRow("Number steps", textNoSteps);
SpringUtilities.makeCompactGrid(this, 8, 2, // rows, cols
6, 6, // initX, initY
6, 6); // xPad, yPad
setDefault();
}
private void addRow(String text, JComponent component) {
JLabel l = new JLabel(text);
add(l);
l.setLabelFor(component);
add(component);
}
...
}