TheCloud/Digital
1
0
Fork 0
mirror of https://github.com/hneemann/Digital.git synced 2025-09-19 09:54:49 -04:00
Code Issues Packages Projects Releases Wiki Activity

improved default window size in data editor

Browse Source
This commit is contained in:
hneemann 2017-08-22 15:44:08 +02:00
parent 8de9065a80
commit c15a6c5b25
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/main/java/de/neemann/digital/gui/components/DataEditor.java
View File

@ -54,14 +54,14 @@ public class DataEditor extends JDialog {
if (dataBits > 20 && cols == 16) cols = 8;
int tableWidth=0;
int tableWidth = 0;
MyTableModel dm = new MyTableModel(this.localDataField, cols, modelSync);
JTable table = new JTable(dm);
int widthOfZero = table.getFontMetrics(table.getFont()).stringWidth("00000000") / 8;
table.setDefaultRenderer(MyLong.class, new MyLongRenderer(dataBits));
for (int c = 1; c < table.getColumnModel().getColumnCount(); c++) {
int width = widthOfZero * ((dataBits - 1) / 4 + 2);
tableWidth+=width;
tableWidth += width;
TableColumn col = table.getColumnModel().getColumn(c);
col.setPreferredWidth(width);
}
@ -72,7 +72,7 @@ public class DataEditor extends JDialog {
addrColumn.setCellRenderer(addrRenderer);
int width = widthOfZero * ((addrBits - 1) / 4 + 2);
addrColumn.setPreferredWidth(width);
tableWidth+=width;
tableWidth += width;
JScrollPane scrollPane = new JScrollPane(table);