Mercurial > cgi-bin > hgweb.cgi > ClipMan
comparison src/name/blackcap/clipman/Main.kt @ 12:0fb6da371b80
Remove some deadwood.
| author | David Barts <n5jrn@me.com> |
|---|---|
| date | Sun, 19 Jan 2020 19:44:42 -0800 |
| parents | 5bbb436fbcf7 |
| children | fe0fcfc8b2aa |
comparison
equal
deleted
inserted
replaced
| 11:5bbb436fbcf7 | 12:0fb6da371b80 |
|---|---|
| 107 } | 107 } |
| 108 is PasteboardItem.HTML -> widget.run { | 108 is PasteboardItem.HTML -> widget.run { |
| 109 add(stdLabel("Styled text")) | 109 add(stdLabel("Styled text")) |
| 110 add(ClipText().apply { | 110 add(ClipText().apply { |
| 111 contentType = "text/html" | 111 contentType = "text/html" |
| 112 toolTipText = "Styled text" | |
| 113 text = scrub(contents.html) | 112 text = scrub(contents.html) |
| 114 border = stdBorder | 113 border = stdBorder |
| 115 autoSize(stdWidth!!) | 114 autoSize(stdWidth!!) |
| 116 setEditable(false) | 115 setEditable(false) |
| 117 alignmentX = JTextPane.LEFT_ALIGNMENT | 116 alignmentX = JTextPane.LEFT_ALIGNMENT |