Warning: session_start(): open(/var/lib/php/sessions/sess_ttlbm3pdtarsu9f79trqjqrg3a, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51

Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
svoid jTextPane_adjustTextSizeToFillParentHeight(JTextPane pane) { jTextPane_adjustTextSizeToFillParentHeight(pane, 100, true); } svoid jTextPane_adjustTextSizeToFillParentHeight(JTextPane pane, int countdown, bool goDown) { if (countdown < 1 || pane == null || getParent(pane) == null) ret; swing { int pref = preferredHeight(pane); double ratio = doubleRatio(pane.getParent().getHeight(), pref); if (ratio == 1) ret; float size = pane.getFont().getSize2D(); //float newSize = (float) max(1, size*ratio); //if (ratio < 1) float newSize = ratio > 1 ? size+1 : size-1; print("pref=" + pref + ", new font size: " + newSize); setFontSize(pane, newSize); awtLater(50, r { jTextPane_adjustTextSizeToFillParentHeight(pane, countdown-1, goDown); }); } }