<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_843dmp8i4kd4ssr7nljvldus90, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
!7

import android.widget.*;
import android.view.*;

set flag AndroidOnly.

sS androidVisibilityToString(int v) {
  ret v == View.GONE ? "gone"
    : v == View.INVISIBLE ? "invisible"
    : v == View.VISIBLE ? "visible"
    : "unknown (" + v + ")";
}

p {
  androidUI(r {
    TextView view = new TextView(androidActivity()) {
      protected void onWindowVisibilityChanged(int visibility) {
        super.onWindowVisibilityChanged(visibility);
        setText(getText() + "\n" + localTimeWithSeconds() + ": " + androidVisibilityToString(visibility));
      }
      
      public void onWindowFocusChanged(bool b) {
        super.onWindowFocusChanged(b);
        setText(getText() + "\n" + localTimeWithSeconds() + ": windowFocusChanged " + b);
      }
    };
    view.setText("Testi testi");
    aSetView(view);
  });
}