diff options
| author | Siri Hansen <[email protected]> | 2016-04-29 10:02:37 +0200 |
|---|---|---|
| committer | Siri Hansen <[email protected]> | 2016-05-19 15:21:52 +0200 |
| commit | 7b478eced25af1d3143d232e503723aaf86dfe8a (patch) | |
| tree | 912326f9dde4bbbcda8ab4a6d9de02b4914b1537 /lib/tools | |
| parent | cd14e151f84926cbdd1243b62ef5478681f56369 (diff) | |
| download | otp-7b478eced25af1d3143d232e503723aaf86dfe8a.tar.gz otp-7b478eced25af1d3143d232e503723aaf86dfe8a.tar.bz2 otp-7b478eced25af1d3143d232e503723aaf86dfe8a.zip | |
[observer] Make right click menu act on the "expected pid"
If multiple processes were selcted, "Process Info" and "Kill Process"
menu choices would pick the first pid in the selection list, i.e. the
last selected process. This is now changed so the process under the
mouse pointer is used instead.
Diffstat (limited to 'lib/tools')
0 files changed, 0 insertions, 0 deletions