1.1 --- a/java/rozsirene-atributy/src/cz/frantovo/rozsireneatributy/gui/Panel.java Fri Dec 15 02:29:57 2023 +0100
1.2 +++ b/java/rozsirene-atributy/src/cz/frantovo/rozsireneatributy/gui/Panel.java Fri Dec 15 02:30:46 2023 +0100
1.3 @@ -17,6 +17,7 @@
1.4 package cz.frantovo.rozsireneatributy.gui;
1.5
1.6 import cz.frantovo.rozsireneatributy.Atribut;
1.7 +import java.awt.Dimension;
1.8 import java.io.IOException;
1.9 import java.util.ResourceBundle;
1.10 import java.util.logging.Level;
1.11 @@ -56,6 +57,8 @@
1.12 tabulka.setSelectionMode(ListSelectionModel.SINGLE_SELECTION);
1.13 posuvnýPanel.setViewportView(tabulka);
1.14
1.15 + tabulka.setRowHeight((int) (tabulka.getRowHeight() * 1.3));
1.16 +
1.17 /** Výběr aktuálního atributu v tabulce */
1.18 tabulka.getSelectionModel().addListSelectionListener(
1.19 new ListSelectionListener() {