diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2016-01-02 12:58:59 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2016-01-02 12:58:59 -0300 |
| commit | 757b8c4206a9853313ea46f738d1bfad501a6821 (patch) | |
| tree | 92bf84687c6b3f03076f9363169ba75d390ee4a6 /tools | |
| parent | 9ed3d6d0073d6ace705f6cae6b04d2642a918a25 (diff) | |
-Restore mouse on X11 when debugger break happens, closes #2232
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions