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 /main | |
parent | 9ed3d6d0073d6ace705f6cae6b04d2642a918a25 (diff) |
-Restore mouse on X11 when debugger break happens, closes #2232
Diffstat (limited to 'main')
0 files changed, 0 insertions, 0 deletions