a graphical user interface library