1 /*

     2  * Copyright (c) 2007-2010 Nokia Corporation and/or its subsidiary(-ies). 

     3  * All rights reserved.

     4  * This component and the accompanying materials are made available

     5  * under the terms of "Eclipse Public License v1.0"

     6  * which accompanies this distribution, and is available

     7  * at the URL "http://www.eclipse.org/legal/epl-v10.html".

     8  *

     9  * Initial Contributors:

    10  * Nokia Corporation - initial contribution.

    11  *

    12  * Contributors:

    13  *

    14  * Description:

    15  *

    16  * Scroller Selection Listener class

    17  *

    18  */

    19 package com.nokia.traceviewer.view.listener;

    20 

    21 import org.eclipse.jface.text.TextViewer;

    22 import org.eclipse.swt.events.SelectionEvent;

    23 import org.eclipse.swt.events.SelectionListener;

    24 import org.eclipse.swt.widgets.Slider;

    25 

    26 import com.nokia.traceviewer.engine.StateHolder;

    27 import com.nokia.traceviewer.engine.TraceViewerGlobals;

    28 

    29 /**

    30  * Scroller Selection Listener listens changes in view's scroller

    31  */

    32 public class ScrollerSelectionListener implements SelectionListener {

    33 

    34 	/**

    35 	 * Text viewer

    36 	 */

    37 	private final TextViewer viewer;

    38 

    39 	/**

    40 	 * Constructor

    41 	 * 

    42 	 * @param viewer

    43 	 *            the viewer

    44 	 */

    45 	public ScrollerSelectionListener(TextViewer viewer) {

    46 		this.viewer = viewer;

    47 	}

    48 

    49 	/*

    50 	 * (non-Javadoc)

    51 	 * 

    52 	 * @see

    53 	 * org.eclipse.swt.events.SelectionListener#widgetDefaultSelected(org.eclipse

    54 	 * .swt.events.SelectionEvent)

    55 	 */

    56 	public void widgetDefaultSelected(SelectionEvent e) {

    57 	}

    58 

    59 	/*

    60 	 * (non-Javadoc)

    61 	 * 

    62 	 * @see

    63 	 * org.eclipse.swt.events.SelectionListener#widgetSelected(org.eclipse.swt

    64 	 * .events.SelectionEvent)

    65 	 */

    66 	public void widgetSelected(SelectionEvent e) {

    67 		Slider slider = (Slider) e.getSource();

    68 

    69 		TraceViewerGlobals.getTraceViewer().getStateHolder().setState(

    70 				StateHolder.State.SCROLLING_WITH_SCROLLBAR);

    71 

    72 		// Scroll to new line

    73 		TraceViewerGlobals.getTraceViewer().getView().scrollViewToLine(

    74 				slider.getSelection());

    75 

    76 		viewer.setTopIndex(slider.getSelection()

    77 				- TraceViewerGlobals.getTraceViewer().getView()

    78 						.getShowingTracesFrom());

    79 

    80 	}

    81 

    82 }