'editor_markers.cc',
'editor_mixer.cc',
'editor_mouse.cc',
- 'editor_nudge.cc',
'editor_ops.cc',
'editor_regions.cc',
'editor_routes.cc',
'midi_port_dialog.cc',
'midi_region_view.cc',
'midi_scroomer.cc',
+ 'midi_selection.cc',
'midi_streamview.cc',
'midi_time_axis.cc',
'midi_tracer.cc',
'option_editor.cc',
'opts.cc',
'panner2d.cc',
+ 'panner_interface.cc',
'panner_ui.cc',
'piano_roll_header.cc',
'playlist_selector.cc',
# Set up font sizes
if bld.is_defined('GTKOSX'): # OS X fonts
- basefont = "Lucida Grande"
+ basefont = ""
font_sizes = {
'TINY' : '7',
'SMALLER' : '9',