Libraryless. Click here for Pure Java version (2391L/16K).
svoid jTextPane_adjustTextSizeToFillParentHeight(JTextPane pane, O... _) { if (pane == null || getParent(pane) == null || empty(getText(pane))) ret with callF(optPar onDone(_)); if (jTextPane_shouldDecreaseFontSizeToFillParentHeight(pane)) jTextPane_shrinkTextSizeToFillParentHeight(pane, _); else if (jTextPane_shouldIncreaseFontSizeToFillParentHeight(pane)) swing { float size = pane.getFont().getSize2D(); float newSize = size+1; if (boolPar debug(_)) print("new font size: " + newSize); setFontSize(pane, newSize); awtLater(optPar delay(_, 50), r { jTextPane_adjustTextSizeToFillParentHeight(pane, _); }); } else callF(optPar onDone(_)); }
download show line numbers debug dex old transpilations
Travelled to 7 computer(s): bhatertpkbcr, cfunsshuasjs, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tvejysmllsmz, vouqrxazstgt
No comments. add comment
Snippet ID: | #1023001 |
Snippet name: | jTextPane_adjustTextSizeToFillParentHeight - TODO: single word/few long words |
Eternal ID of this version: | #1023001/22 |
Text MD5: | ebd2e737c356d45d2f356528f0e41b11 |
Transpilation MD5: | 3bcfe83a30c8228d2643f5e8624dff27 |
Author: | stefan |
Category: | javax / gui |
Type: | JavaX fragment (include) |
Public (visible to everyone): | Yes |
Archived (hidden from active list): | No |
Created/modified: | 2019-04-20 00:58:54 |
Source code size: | 706 bytes / 16 lines |
Pitched / IR pitched: | No / No |
Views / Downloads: | 280 / 423 |
Version history: | 21 change(s) |
Referenced in: | #1006654 - Standard functions list 2 (LIVE, continuation of #761) #1023004 - jTextPane_shrinkTextSizeToFillParentHeight #1023011 - jTextPane_adjustTextSizeToFillParentHeight_wait |