Transpiled version (5117L) is out of date.
import javax.swing.border.*; static TitledBorder jRaisedSectionBorder(S title) { ret swing(-> { Border border = BorderFactory.createBevelBorder(BevelBorder.RAISED); ret BorderFactory.createTitledBorder(border, title); }); }
Began life as a copy of #1014638
download show line numbers debug dex old transpilations
Travelled to 3 computer(s): bhatertpkbcr, mowyntqkapby, mqqgnosmbjvj
No comments. add comment
| Snippet ID: | #1034173 |
| Snippet name: | jRaisedSectionBorder |
| Eternal ID of this version: | #1034173/4 |
| Text MD5: | 5e1742919d37100dd0c9fb8c8b3e9682 |
| Author: | stefan |
| Category: | javax / gui |
| Type: | JavaX fragment (include) |
| Public (visible to everyone): | Yes |
| Archived (hidden from active list): | No |
| Created/modified: | 2022-01-25 20:38:46 |
| Source code size: | 243 bytes / 8 lines |
| Pitched / IR pitched: | No / No |
| Views / Downloads: | 122 / 194 |
| Version history: | 3 change(s) |
| Referenced in: | [show references] |