445 		

   445 		

   446 		this.animation.set('to', { xy: toXY});

   446 		this.animation.set('to', { xy: toXY});

   447 		this.animation.set('duration', gPrefs.get('general','animduration')) ; // shouldn't be here really ...

   447 		this.animation.set('duration', gPrefs.get('general','animduration')) ; // shouldn't be here really ...

   448     if (focus)

   448     if (focus)

   449     	this['animation-handle'] = this.animation.on('end', this.onAnimationEndFocus, this);

   449     	this['animation-handle'] = this.animation.on('end', this.onAnimationEndFocus, this);

   450     	this['animation-handle'] = this.animation.on('end', this.onAnimationEnd, this);

   451     	this['animation-handle'] = this.animation.on('end', this.onAnimationEnd, this);

   451 		

   452 		

   452 		return this.animation ;

   453 		return this.animation ;

   453 	},

   454 	},

   454 	getHeight : function() {

   455 	getHeight : function() {