/** Constructor. */
public TilePatternsView() {
super();
tilePatternIcons = new ArrayList<TilePatternIcon>();
setLayout(new BoxLayout(this, BoxLayout.Y_AXIS));
setBorder(BorderFactory.createEmptyBorder(5, 5, 5, 5));
// tileset properties
// the tile pattern list
// view of the current tile pattern
// tileset properties
tilesetPropertiesView = new TilesetPropertiesView();
tilesetPropertiesView.setMaximumSize(new Dimension(Integer.MAX_VALUE, 120));
tilesetPropertiesView.setAlignmentX(Component.LEFT_ALIGNMENT);
// list
tilePatternsListModel = new TilePatternsListModel();
tilePatternsList = new JList(tilePatternsListModel);
tilePatternsList.setSelectionMode(ListSelectionModel.SINGLE_SELECTION);
tilePatternsList.setLayoutOrientation(JList.HORIZONTAL_WRAP);
tilePatternsList.setVisibleRowCount(-1); // make the rows as wide as possible
tilePatternsList
.getSelectionModel()
.addListSelectionListener(new TilePatternListSelectionListener());
tilePatternsList.setCellRenderer(new TilePatternListRenderer());
tilePatternsList.addKeyListener(
new KeyAdapter() {
public void keyPressed(KeyEvent keyEvent) {
if (keyEvent.getKeyCode() == KeyEvent.VK_DELETE) {
if (tileset != null && tileset.getSelectedTilePattern() != null) {
tileset.removeTilePattern();
}
}
}
});
JScrollPane listScroller = new JScrollPane(tilePatternsList);
listScroller.setMaximumSize(new Dimension(Integer.MAX_VALUE, Integer.MAX_VALUE));
listScroller.setAlignmentX(Component.LEFT_ALIGNMENT);
// tile view
tilePatternView = new TilePatternView();
tilePatternView.setMaximumSize(new Dimension(Integer.MAX_VALUE, 300));
tilePatternView.setAlignmentX(Component.LEFT_ALIGNMENT);
add(tilesetPropertiesView);
add(Box.createRigidArea(new Dimension(0, 5)));
add(listScroller);
add(Box.createRigidArea(new Dimension(0, 5)));
add(tilePatternView);
}
void addTextArea(JPanel panel, String key, String label) {
JLabel lab = new JLabel(label);
lab.setAlignmentX(LEFT_ALIGNMENT);
panel.add(lab);
JTextArea field = new JTextArea();
field.setText(sketch.configFile.get(key));
field.setLineWrap(true);
field.setWrapStyleWord(true);
fields.put(key, field);
JScrollPane scroll = new JScrollPane(field);
scroll.setAlignmentX(0.0f);
panel.add(scroll);
}