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: | 494 / 636 |
Version history: | 16 change(s) |
Referenced in: | [show references] |