diff options
| author | Robin Gareus <robin@gareus.org> | 2017-12-12 00:13:12 +0100 |
|---|---|---|
| committer | Robin Gareus <robin@gareus.org> | 2017-12-12 00:13:12 +0100 |
| commit | ba2b136af2c05dcc61aef712b2387796d497c781 (patch) | |
| tree | 765a6c782c07790c97891e9514833a895b741b9d /gtk2_ardour/editor.h | |
| parent | 23a403015955d63cc0c1d505e7dc65875005cf31 (diff) | |
NO-OP: whitespace
Diffstat (limited to 'gtk2_ardour/editor.h')
| -rw-r--r-- | gtk2_ardour/editor.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gtk2_ardour/editor.h b/gtk2_ardour/editor.h index 98b96b65b7..498a4e0fe0 100644 --- a/gtk2_ardour/editor.h +++ b/gtk2_ardour/editor.h @@ -365,7 +365,7 @@ public: void toggle_measure_visibility (); /* returns the left-most and right-most time that the gui should allow the user to scroll to */ - std::pair <samplepos_t,samplepos_t> session_gui_extents( bool use_extra = true ) const; + std::pair <samplepos_t,samplepos_t> session_gui_extents (bool use_extra = true) const; /* fades */ @@ -658,7 +658,7 @@ private: gint really_remove_marker (ARDOUR::Location* loc); void goto_nth_marker (int nth); void trigger_script (int nth); - void trigger_script_by_name ( const std::string script_name ); + void trigger_script_by_name (const std::string script_name); void toggle_marker_lines (); void set_marker_line_visibility (bool); @@ -1519,7 +1519,7 @@ private: void set_loop_start_from_edit_point (); void set_loop_end_from_edit_point (); - void keyboard_selection_begin ( Editing::EditIgnoreOption = Editing::EDIT_IGNORE_NONE ); + void keyboard_selection_begin (Editing::EditIgnoreOption = Editing::EDIT_IGNORE_NONE); void keyboard_selection_finish (bool add, Editing::EditIgnoreOption = Editing::EDIT_IGNORE_NONE); bool have_pending_keyboard_selection; samplepos_t pending_keyboard_selection_start; |