diff options
| author | Dan Gudmundsson <[email protected]> | 2017-04-03 11:43:40 +0200 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2017-04-03 11:43:40 +0200 |
| commit | a7b73658b03f1a09d4af4d0b8250a1d5e613e378 (patch) | |
| tree | d8a4221c5131c53ed2efc3a5c98d28be3d53abba /lib/observer/src/Makefile | |
| parent | 6604585547b8e84d53aac174182cfb06289bbf73 (diff) | |
| parent | 1f205a59ab61f159920b41d5f17f207299cb7a8c (diff) | |
| download | otp-a7b73658b03f1a09d4af4d0b8250a1d5e613e378.tar.gz otp-a7b73658b03f1a09d4af4d0b8250a1d5e613e378.tar.bz2 otp-a7b73658b03f1a09d4af4d0b8250a1d5e613e378.zip | |
Merge branch 'dgud/observer/keep-selection/OTP-14270'
* dgud/observer/keep-selection/OTP-14270:
observer: (re)store config
observer: Use event info to get active tab
observer: Keep sel after column change tv
observer: Keep port selection after refresh
observer: Keep tv selection after refresh
Diffstat (limited to 'lib/observer/src/Makefile')
0 files changed, 0 insertions, 0 deletions