|
@@ -831,6 +831,7 @@ void WaveformComponent::mouseDoubleClick(const MouseEvent & e) |
|
|
void WaveformComponent::mouseWheelMove(const MouseEvent & e, const MouseWheelDetails & wd) |
|
|
void WaveformComponent::mouseWheelMove(const MouseEvent & e, const MouseWheelDetails & wd) |
|
|
{ |
|
|
{ |
|
|
return; |
|
|
return; |
|
|
|
|
|
/* |
|
|
double factor = 0.9; |
|
|
double factor = 0.9; |
|
|
if (wd.deltaY < 0.0) |
|
|
if (wd.deltaY < 0.0) |
|
|
factor = 1.11111; |
|
|
factor = 1.11111; |
|
@@ -850,6 +851,7 @@ void WaveformComponent::mouseWheelMove(const MouseEvent & e, const MouseWheelDet |
|
|
ViewRangeChangedCallback(m_view_range); |
|
|
ViewRangeChangedCallback(m_view_range); |
|
|
m_image_dirty = true; |
|
|
m_image_dirty = true; |
|
|
repaint(); |
|
|
repaint(); |
|
|
|
|
|
*/ |
|
|
} |
|
|
} |
|
|
|
|
|
|
|
|
Range<double> WaveformComponent::getTimeSelection() |
|
|
Range<double> WaveformComponent::getTimeSelection() |
|
|