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