4 ms·There's also GTK-server: https://www.gtk-server.org https://www.gtk-server.orgby jhgb 5y agoThere's also GTK-server: https://www.gtk-server.org https://www.gtk-server.org