Fix playhead smoothing when auditioning.

[ardour.git] / gtk2_ardour / configinfo.cc

diff --git a/gtk2_ardour/configinfo.cc b/gtk2_ardour/configinfo.cc
index 29c7e8fe63efc60fc60401b70add4dd276897ece..d6c020e14be15afd491093b2c6986a914ec98fb2 100644 (file)
--- a/gtk2_ardour/configinfo.cc
+++ b/gtk2_ardour/configinfo.cc
@@ -17,12 +17,13 @@
 
 */
 
-#include <gtkmm.h>
+#include <gtkmm/box.h>
+#include <gtkmm/stock.h>
 
 #include "ardour/ardour.h"
 
 #include "configinfo.h"
-#include "i18n.h"
+#include "pbd/i18n.h"
 
 ConfigInfoDialog::ConfigInfoDialog ()
        : ArdourDialog (_("Build Configuration"))
@@ -31,9 +32,15 @@ ConfigInfoDialog::ConfigInfoDialog ()
        text.get_buffer()->set_text (std::string (ARDOUR::ardour_config_info));
        text.set_wrap_mode (Gtk::WRAP_WORD);
        text.show ();
-       text.set_size_request (300, 800);
 
-       get_vbox()->pack_start (text, true, true);
+       scroller.set_shadow_type(Gtk::SHADOW_NONE);
+       scroller.set_border_width(0);
+       scroller.add (text);
+       scroller.set_policy (Gtk::POLICY_NEVER, Gtk::POLICY_AUTOMATIC);
+       scroller.show();
+
+       get_vbox()->pack_start (scroller, true, true);
+       set_size_request (400, 600);
 
        add_button (Gtk::Stock::CLOSE, Gtk::RESPONSE_ACCEPT);
 }