Warning: session_start(): open(/var/lib/php/sessions/sess_i5qts0nub29oir8mo79iqpvoqa, 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 stackWindowsUpwardsInBottomRightCorner(L l) { L windows = map getWindow(l); if (empty(windows)) ret; moveToBottomRightCorner(first(windows)); int yGap = 20; for (Pair p : listToOverlappingPairs(windows)) { Rect ra = toRect(getBounds(p.a)); Rect rb = toRect(getBounds(p.b)); setBounds(p.b, ra.x2()-rb.w, ra.y-yGap-rb.h, rb.w, rb.h); } }