vyšší řádky tabulky v_0
authorFrantišek Kučera <franta-hg@frantovo.cz>
Fri, 15 Dec 2023 02:30:46 +0100
branchv_0
changeset 334805f1eef561
parent 32 ca064ecf3ca3
child 34 c2ce9d916103
vyšší řádky tabulky
java/rozsirene-atributy/src/cz/frantovo/rozsireneatributy/gui/Panel.java
     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() {