diff options
| author |  Jan Mulder <jlmulder@xs4all.nl> | 2018-10-17 11:28:33 +0200 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2018-10-20 06:50:52 -0400 |
| commit | c9869406301ff72f76b399097f0845fc1102ced1 (patch) | |
| tree | ab48606d6802671fae8bd246e15bbc5975cc47c6 /core | |
| parent | cc225a44f2342d343e97a58b38b2f510ba1d173c (diff) | |
| download | subsurface-c9869406301ff72f76b399097f0845fc1102ced1.tar.gz | |
Profile: show correct info box for multiple DCs
Update the dive info box when toggling the chosen DC using the
keyboard. The keyboard toggle does not generate a mouse move
event, so this data was not repainted. For this, a
sub-optimization of not repainting when not moving the mouse
had to be removed. This does not impact ant performance
as 99.9999% of the calls of the repaint are caused by mouse
movement anyway.
Fixes: #1802
Signed-off-by: Jan Mulder <jlmulder@xs4all.nl>
Diffstat (limited to 'core')
0 files changed, 0 insertions, 0 deletions