Mixer: tweak the size of GUI elements.

Mixer/Controller_Module.C

@@ -231,7 +231,7 @@ Controller_Module::connect_to ( Port *p )
         o->minimum(1.5);
         o->maximum(0);
         o->value(1);
-        o->textsize(14);
+        o->textsize(6);
 
         if ( p->hints.ranged )
         {

Mixer/Mixer_Strip.C

@@ -225,9 +225,9 @@ void Mixer_Strip::cb_handle(Fl_Widget* o) {
     else if ( o == width_button )
     {
         if ( ((Fl_Button*)o)->value() )
-            size( 300, h() );
+            size( 220, h() );
         else
-            size( 120, h() );
+            size( 96, h() );
 
         if ( parent() )
             parent()->parent()->redraw();
@@ -457,6 +457,8 @@ Mixer_Strip::init ( )
 
     color( FL_BLACK );
 
+    size( 96, h() );
+
     //  _chain->configure_ports();
 }
 

Mixer/Module_Parameter_Editor.C

@@ -200,7 +200,7 @@ Module_Parameter_Editor::make_controls ( void )
                 else
                 {
                     o->type( FL_VERTICAL );
-                    o->size( 24, 120 );
+                    o->size( 32, 120 );
                     /* have to reverse the meaning of these to get the
                      * orientation of the slider right */
                     o->maximum( p->hints.minimum );