diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-07-18 00:54:32 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-07-18 00:54:32 +0200 |
| commit | d6f2e41e6f6ed2de6afd8d1e08085e732383b9cb (patch) | |
| tree | 2aa5b9885a0147aff3fd12cf6d8d425e0efe7849 /platform | |
| parent | 4958963abe5b76c613f25f8749c270988bdcccc3 (diff) | |
| parent | f20680947bde28dfc10fcee4fc7c2949b111a40a (diff) | |
Merge pull request #5750 from TheHX/issue-5681
Keep debugger selected tab open when pressing the pause button
Diffstat (limited to 'platform')
0 files changed, 0 insertions, 0 deletions