diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2016-07-18 00:52:36 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-07-18 00:52:36 +0200 |
commit | 62eae7cbe25f3e2f5cf2cc3bd4cb8d13a6845ef3 (patch) | |
tree | f49bd157c22882a2013676b1f81411481492e1ea /platform/x11/context_gl_x11.h | |
parent | 8de5aedb9ef7d4c17027b41b40677d1892f4158c (diff) | |
parent | 2c9468a46ac7be81085baec4778fcbf3075b2c70 (diff) |
Merge pull request #5723 from Paulb23/toggle_breakpoint_gutter_issue_5712
Fixed toggle breakpoint gutter not updating when the game is running, issue 5712
Diffstat (limited to 'platform/x11/context_gl_x11.h')
0 files changed, 0 insertions, 0 deletions