Robin Gareus acfa04d700 Update Ctrl-surface MIDI port list when ports change ... This is a better variant of bbb6851468, directly using the GUI context without indirection.		2021-02-04 06:19:37 +01:00
..
faderport_interface.cc
faderport.cc	Update Ctrl-surface MIDI port list when ports change	2021-02-04 06:19:37 +01:00
faderport.h	Update Ctrl-surface MIDI port list when ports change	2021-02-04 06:19:37 +01:00
gui.cc	Update Ctrl-surface MIDI port list when ports change	2021-02-04 06:19:37 +01:00
gui.h	Update Ctrl-surface MIDI port list when ports change	2021-02-04 06:19:37 +01:00
operations.cc	NO-OP: remove unused #includes	2020-03-21 19:46:38 +01:00
wscript