Thanks, just tried gud-gdb and it works well. Actually, the windowing
behavior is saner than when using gdb, so I think I'll prefer gud-gdb.