Comment Comment by petercooper It's been a long time since I looked into GNOME dev but that was the main choice for the last 10 years or so, wasn't it? parent petercooper 13 years ago
