Chad Smith

https://github.com/cs01/gdbgui/pull/296 might fix this

@bjorn3 I agree this seems unexpected. I did a quick search and found https://stackoverflow.com/questions/3592673/change-console-font-in-windows, so it is technically possible for a program to change the font in Windows. That said,...

That might be the case. I don't use either so I don't know.

Sorry for the inconvenience. If you have the time/ability please submit a PR. Otherwise I will get to it when I can.

I believe you may be able to remap the sources to make this work. Something like ``` gdbgui --remap-sources='{"/": ""}' ```

Thanks for the offer. If you open the chrome developer tools and monitor the network communication, you can see the urls and parameters being requested. Assuming the requested file path...

The CI build has been fixed in the master so this is not a high priority. cc @MatthiasKreileder

Oh wow that's quite slow. Are you working with an exceptionally large stack or set of local variables?

I haven't used it with Python 3.7 but I wouldn't expect it to be slower than with Python 3.6. I also never use windows. The bottleneck is likely either the...

You can log everything that is going on and see where the delay is. On the frontend * log statements being sent to the backend: https://github.com/cs01/gdbgui/blob/master/docs/FAQ.md#how-can-i-see-what-commands-are-being-sent-to-gdb * Optionally open Chrome...