GiulioBellese

I also have the same problem. I find a temporary solution using gdbgui console in the lower-right corner  if you want to see register information you only...