Robin Gareus 847f1e54c1 Clean up ctrl surface API ... Remove unused fields, no mandatory surfaces		2023-05-01 02:22:45 +02:00
..
button_config_widget.cc
button_config_widget.h
contourdesign_gui.cc
contourdesign.cc	surfaces & event loops: i really mean no more request buffer factories	2023-04-21 13:55:58 -06:00
contourdesign.h	surfaces & event loops: i really mean no more request buffer factories	2023-04-21 13:55:58 -06:00
interface.cc	Clean up ctrl surface API	2023-05-01 02:22:45 +02:00
jump_distance_widget.cc
jump_distance_widget.h
wscript