diff options
| author | Péter Gömöri <[email protected]> | 2015-02-08 00:11:18 +0100 |
|---|---|---|
| committer | Péter Gömöri <[email protected]> | 2015-06-02 16:02:34 +0200 |
| commit | 93ba3a78f92c7e19997bd057e9ce1cdb4acd7b62 (patch) | |
| tree | a001693df961f775fec414cefc457b011e0cd8f8 /make/run_make.mk | |
| parent | 65bf43e82a8ec731aafdbac74d41d65b63c7f49c (diff) | |
| download | otp-93ba3a78f92c7e19997bd057e9ce1cdb4acd7b62.tar.gz otp-93ba3a78f92c7e19997bd057e9ce1cdb4acd7b62.tar.bz2 otp-93ba3a78f92c7e19997bd057e9ce1cdb4acd7b62.zip | |
Don't refresh observer table view if there was no change
Avoid refreshing the list of tables every refresh interval
(by default 10 secs) if the content did not change.
Because of the refresh the list was scrolled to the begining
and current selection was lost which could be quite anoying.
Diffstat (limited to 'make/run_make.mk')
0 files changed, 0 insertions, 0 deletions