diff options
| author | Dan Gudmundsson <[email protected]> | 2011-12-06 10:41:12 +0100 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2011-12-06 10:41:12 +0100 |
| commit | 67786a7b962a4f71ae42b1db2c800f5bd414305e (patch) | |
| tree | 22c8fd7d66ec8d2befdd505b679d948f1450c4d8 /lib/observer/src/observer_tv_wx.erl | |
| parent | b0121557d6a97c22f147db665788132c2b2096d1 (diff) | |
| download | otp-67786a7b962a4f71ae42b1db2c800f5bd414305e.tar.gz otp-67786a7b962a4f71ae42b1db2c800f5bd414305e.tar.bz2 otp-67786a7b962a4f71ae42b1db2c800f5bd414305e.zip | |
[observer] Do not start polling tables until user view them
Diffstat (limited to 'lib/observer/src/observer_tv_wx.erl')
| -rw-r--r-- | lib/observer/src/observer_tv_wx.erl | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lib/observer/src/observer_tv_wx.erl b/lib/observer/src/observer_tv_wx.erl index a473fe83b9..ad3e8c14ab 100644 --- a/lib/observer/src/observer_tv_wx.erl +++ b/lib/observer/src/observer_tv_wx.erl @@ -90,8 +90,7 @@ init([Notebook, Parent]) -> wxListCtrl:connect(Grid, size, [{skip, true}]), wxWindow:setFocus(Grid), - Timer = observer_lib:start_timer(10), - {Panel, #state{grid=Grid, parent=Parent, timer=Timer}}. + {Panel, #state{grid=Grid, parent=Parent, timer={false, 10}}}. handle_event(#wx{id=?ID_REFRESH}, State = #state{node=Node, grid=Grid, opt=Opt}) -> |