diff options
| author | Bernard Normier <bernard@zeroc.com> | 2012-10-24 11:19:14 -0400 |
|---|---|---|
| committer | Bernard Normier <bernard@zeroc.com> | 2012-10-24 11:19:14 -0400 |
| commit | b4b2149b42f2cc42003c45aeff0eee7821fb6b7c (patch) | |
| tree | 378050844b854b1e4bad92e939671a128cee2f21 /java/src/IceGridGUI/Application/Editor.java | |
| parent | Renamed metrics.config to metrics.cfg (diff) | |
| download | ice-b4b2149b42f2cc42003c45aeff0eee7821fb6b7c.tar.bz2 ice-b4b2149b42f2cc42003c45aeff0eee7821fb6b7c.tar.xz ice-b4b2149b42f2cc42003c45aeff0eee7821fb6b7c.zip | |
Increased row heights of JTable when using larger font sizes
Diffstat (limited to 'java/src/IceGridGUI/Application/Editor.java')
0 files changed, 0 insertions, 0 deletions