Hello guys, Martin has implemented a nice IOChannel.cs file that lives in debugger/backends/ptrace/IOChannel.cs, and seems generally useful for people using IOChannel with Gtk. Miguel