4ian/GD — pull request #30 by victorlevasseur (2014-09-26 21:14:47+00:00)
Title: Fix debugger and profiler graphical bug

Fix a little mistake (using debugger instead of profiler).
And updating the AuiManager after that seems to completely fix the graphical glitch.