A cross-platform graphical user interface API