Uses 3874K of libraries. Click here for Pure Java version (4064L/29K/106K).
1 | !7 |
2 | |
3 | p-substance {
|
4 | final JTable table = showTable(makeData()); |
5 | addToWindow(table, jbutton("Update", r {
|
6 | Map<S, Int> widths = tableColumnWidthsByName(table); |
7 | printStruct("Widths", widths);
|
8 | showTable(table, makeData()); |
9 | tableSetColumnWidths_debug = true; |
10 | //tableSetColumnWidths(table, widths); |
11 | tableSetColumnPreferredWidths(table, widths); |
12 | })); |
13 | } |
14 | |
15 | static L makeData() {
|
16 | ret ll( |
17 | litorderedmap("Hello" := "World", "How" := randomID()),
|
18 | litorderedmap("Hello" := "Boys", "How" := "Whatever"));
|
19 | } |
download show line numbers debug dex old transpilations
Travelled to 15 computer(s): aoiabmzegqzx, bhatertpkbcr, cbybwowwnfue, cfunsshuasjs, gwrvuhgaqvyk, ishqpsrjomds, lpdgvwnxivlt, mqqgnosmbjvj, onxytkatvevr, pyentgdyhuwx, pzhvpgtvlbxg, tslmcundralx, tvejysmllsmz, vouqrxazstgt, wtqryiryparv
No comments. add comment
| Snippet ID: | #1007219 |
| Snippet name: | Try preserving JTable column widths upon data change [should now be automatic] |
| Eternal ID of this version: | #1007219/17 |
| Text MD5: | 0e2397ae42ef7bb79c33ab5a51d83812 |
| Transpilation MD5: | 53a28e14881fb52a65c84e7f4b7f8ede |
| Author: | stefan |
| Category: | javax / gui |
| Type: | JavaX source code |
| Public (visible to everyone): | Yes |
| Archived (hidden from active list): | No |
| Created/modified: | 2017-03-24 12:04:07 |
| Source code size: | 546 bytes / 19 lines |
| Pitched / IR pitched: | No / No |
| Views / Downloads: | 743 / 929 |
| Version history: | 16 change(s) |
| Referenced in: | [show references] |