GUI Programming in POLSL