Try to reduce audio mapping flicker on Windows.

diff --git a/src/wx/audio_mapping_view.cc b/src/wx/audio_mapping_view.cc
index fa8732648008d5823288ea5569dc72762655082a..98430da3bddf0cc0123d4bfd627b42113636cfd1 100644 (file)
--- a/src/wx/audio_mapping_view.cc
+++ b/src/wx/audio_mapping_view.cc
@@ -75,6 +75,10 @@ AudioMappingView::AudioMappingView (wxWindow* parent)
        _vertical_scroll = new wxScrollBar (this, wxID_ANY, wxDefaultPosition, wxDefaultSize, wxSB_VERTICAL);
        _horizontal_scroll = new wxScrollBar (this, wxID_ANY);
 
+#ifndef __WXOSX__
+       SetDoubleBuffered (true);
+#endif
+
        Bind (wxEVT_SIZE, boost::bind(&AudioMappingView::size, this, _1));
        Bind (wxEVT_MENU, boost::bind(&AudioMappingView::off, this), ID_off);
        Bind (wxEVT_MENU, boost::bind(&AudioMappingView::full, this), ID_full);