Warning: session_start(): open(/var/lib/php/sessions/sess_7m554q2a89sfbjaj0jm3fhr85e, 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); } svoid jTextPane_adjustTextSizeToFillParentHeight(JTextPane pane, int countdown) { if (countdown < 1 || pane == null || getParent(pane) == null) ret; swing { double ratio = doubleRatio(pane.getParent().getHeight(), preferredHeight(pane)); if (ratio == 1) ret; float size = pane.getFont().getSize2D(); float newSize = (float) min(1, size*ratio); print("New font size: " + newSize); setFontSize(pane, newSize); awt { jTextPane_adjustTextSizeToFillParentHeight(pane, countdown-1); } } }