diff options
| author | Dan Gudmundsson <[email protected]> | 2016-04-28 13:20:38 +0200 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2016-05-04 13:06:59 +0200 |
| commit | de3be15406c50ba43df3d162283112711b6aa53a (patch) | |
| tree | 5c8cebcd1b73093dca1cb077d29c2d3bc3095a6c /lib/dialyzer | |
| parent | 4c8fdca47c9e727dfcc1ab2049ffea35cef76b39 (diff) | |
| download | otp-de3be15406c50ba43df3d162283112711b6aa53a.tar.gz otp-de3be15406c50ba43df3d162283112711b6aa53a.tar.bz2 otp-de3be15406c50ba43df3d162283112711b6aa53a.zip | |
observer: Reduce flicker in table info on windows
Memory table was flickering badly on Windows, caused by constant
refresh sent. Solve by letting the graphs have it's own parent.
wxWindow:setDoubleBuffer could help but causes an empty table
with the current version of wxWidgets backend.
Diffstat (limited to 'lib/dialyzer')
0 files changed, 0 insertions, 0 deletions