[Muine] little UI fix

[K Balaev <s0346324 sms ed ac uk>]

hi,

attached are the patches that add song position slider
to the main window. Its absence was the first thing I
noticed when I ran Muine for the first time a couple of days
ago. :)
I'm getting familiar with the code now. What
can you suggest as a simple task to do for a beginner?

cheers,
Hasan

68a69,70
> 	[Glade.Widget]
> 	private HScale time_scale;
91a94,96
> 	
> 	/* used in HandleTimeScaleValueChanged */
> 	bool thrown_by_update;
492a498
> 			time_scale.Value = 0;
497c503
< 		
---
> 
503a510,512
> 		time_scale.SetRange(0, player.Song.Duration);
> 		thrown_by_update = true;
> 		time_scale.Value = time;
1413a1423,1430
> 	}
> 	
> 	private void HandleTimeScaleValueChanged(object o, EventArgs a)
> 	{
> 		if(!thrown_by_update)
> 			player.Position = (int)time_scale.Value;
> 		else
> 			thrown_by_update = false;

831c831
< 		    <widget class="GtkLabel" id="time_label">
---
> 		    <widget class="GtkVBox" id="vbox6">
833,842c833,874
< 		      <property name="label" translatable="yes"></property>
< 		      <property name="use_underline">False</property>
< 		      <property name="use_markup">False</property>
< 		      <property name="justify">GTK_JUSTIFY_LEFT</property>
< 		      <property name="wrap">False</property>
< 		      <property name="selectable">False</property>
< 		      <property name="xalign">0</property>
< 		      <property name="yalign">0.5</property>
< 		      <property name="xpad">0</property>
< 		      <property name="ypad">0</property>
---
> 		      <property name="homogeneous">False</property>
> 		      <property name="spacing">0</property>
> 
> 		      <child>
> 			<widget class="GtkLabel" id="time_label">
> 			  <property name="visible">True</property>
> 			  <property name="label" translatable="yes">Label</property>
> 			  <property name="use_underline">False</property>
> 			  <property name="use_markup">False</property>
> 			  <property name="justify">GTK_JUSTIFY_LEFT</property>
> 			  <property name="wrap">False</property>
> 			  <property name="selectable">False</property>
> 			  <property name="xalign">0</property>
> 			  <property name="yalign">0.5</property>
> 			  <property name="xpad">0</property>
> 			  <property name="ypad">0</property>
> 			</widget>
> 			<packing>
> 			  <property name="padding">0</property>
> 			  <property name="expand">False</property>
> 			  <property name="fill">False</property>
> 			</packing>
> 		      </child>
> 
> 		      <child>
> 			<widget class="GtkHScale" id="time_scale">
> 			  <property name="visible">True</property>
> 			  <property name="can_focus">True</property>
> 			  <property name="draw_value">False</property>
> 			  <property name="value_pos">GTK_POS_TOP</property>
> 			  <property name="digits">0</property>
> 			  <property name="update_policy">GTK_UPDATE_CONTINUOUS</property>
> 			  <property name="inverted">False</property>
> 			  <property name="adjustment">0 0 10 0 0 0</property>
> 			  <signal name="value_changed" handler="HandleTimeScaleValueChanged" last_modification_time="Sun, 02 May 2004 21:20:56 GMT"/>
> 			</widget>
> 			<packing>
> 			  <property name="padding">0</property>
> 			  <property name="expand">True</property>
> 			  <property name="fill">True</property>
> 			</packing>
> 		      </child>