1 | static JList showFilesListWithAction_reloadable(S title, final F0<L<File>> filesMaker, final VF1<File> action) { |
2 | final JList list = showFilesListWithAction(filesMaker!, action); |
3 | addToPIFrame(list, centeredButtons("Reload", rThread { |
4 | fillListWithStrings(list, map f2s(filesMaker!)) |
5 | })); |
6 | setPIFrameTitle(title, list); |
7 | ret list; |
8 | } |
Began life as a copy of #1018756
download show line numbers debug dex old transpilations
Travelled to 13 computer(s): aoiabmzegqzx, bhatertpkbcr, cbybwowwnfue, cfunsshuasjs, gwrvuhgaqvyk, irmadwmeruwu, ishqpsrjomds, lpdgvwnxivlt, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tvejysmllsmz, vouqrxazstgt
No comments. add comment
Snippet ID: | #1018762 |
Snippet name: | showFilesListWithAction_reloadable |
Eternal ID of this version: | #1018762/1 |
Text MD5: | 04f7328f31146af1e243452ab1081078 |
Author: | stefan |
Category: | javax / gui |
Type: | JavaX fragment (include) |
Public (visible to everyone): | Yes |
Archived (hidden from active list): | No |
Created/modified: | 2018-10-13 15:18:49 |
Source code size: | 348 bytes / 8 lines |
Pitched / IR pitched: | No / No |
Views / Downloads: | 380 / 404 |
Referenced in: | [show references] |