Transpiled version (5117L) is out of date.
1 | import javax.swing.border.*; |
2 | |
3 | static TitledBorder jRaisedSectionBorder(S title) {
|
4 | ret swing(-> {
|
5 | Border border = BorderFactory.createBevelBorder(BevelBorder.RAISED); |
6 | ret BorderFactory.createTitledBorder(border, title); |
7 | }); |
8 | } |
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: | 344 / 463 |
| Version history: | 3 change(s) |
| Referenced in: | [show references] |