Uncommenting does not work on any Linux distro with Gnome 3+

General
3

I filed "Uncomment" menu item fails on Linux/Wayland/GTK3 · Issue #587 · racket/drracket · GitHub about this.