disable Midi Audition Synth if it cannot be found
[ardour.git] / libs / gtkmm2ext / slider_controller.cc
1 /*
2     Copyright (C) 1998-99 Paul Davis
3     This program is free software; you can redistribute it and/or modify
4     it under the terms of the GNU General Public License as published by
5     the Free Software Foundation; either version 2 of the License, or
6     (at your option) any later version.
7
8     This program is distributed in the hope that it will be useful,
9     but WITHOUT ANY WARRANTY; without even the implied warranty of
10     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
11     GNU General Public License for more details.
12
13     You should have received a copy of the GNU General Public License
14     along with this program; if not, write to the Free Software
15     Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
16
17     $Id$
18 */
19
20 #include <string>
21
22 #include <gtkmm2ext/gtk_ui.h>
23 #include <gtkmm2ext/pixfader.h>
24 #include <gtkmm2ext/slider_controller.h>
25
26 #include "i18n.h"
27
28 using namespace Gtkmm2ext;
29 using namespace PBD;
30
31 SliderController::SliderController (Gtk::Adjustment *adj, int orientation, int fader_length, int fader_girth)
32         : PixFader (*adj, orientation, fader_length, fader_girth)
33         , spin (*adj, 0, 2)
34 {                         
35         spin.set_name ("SliderControllerValue");
36         spin.set_numeric (true);
37         spin.set_snap_to_ticks (false);
38 }
39
40 bool 
41 SliderController::on_button_press_event (GdkEventButton *ev) 
42 {
43         if (binding_proxy.button_press_handler (ev)) {
44                 return true;
45         }
46
47         return PixFader::on_button_press_event (ev);
48 }
49
50 VSliderController::VSliderController (Gtk::Adjustment *adj, int fader_length, int fader_girth)
51         : SliderController (adj, VERT, fader_length, fader_girth)
52 {
53 }
54
55 HSliderController::HSliderController (Gtk::Adjustment *adj, int fader_length, int fader_girth)
56         : SliderController (adj, HORIZ, fader_length, fader_girth)
57 {
58 }