6 ms·Dolphin just switched to it, too. They were on wxWidgets until recently.by favorited 7y agoDolphin just switched to it, too. They were on wxWidgets until recently.