Java ScrollBar.getThumb方法代碼示例

import org.eclipse.swt.widgets.ScrollBar; //導入方法依賴的package包/類
protected void smartScroll(boolean force) {
	ScrollBar scrollbar = chatConsole.inputText.getVerticalBar();
	if (scrollbar != null
			&& scrollbar.isVisible()
			&& getPreferences().getBoolean(
					PreferenceKeys.CHAT_IS_SMART_SCROLL_ENABLED)) {

		if (force) {
			setAutoScrolling(true);
		}
		else if (scrollbar.getMaximum() == scrollbar.getSelection()
				+ scrollbar.getThumb()) {
			setAutoScrolling(true);
		} else {
			setAutoScrolling(false);
		}
	}
}
 

import org.eclipse.swt.widgets.ScrollBar; //導入方法依賴的package包/類
/**
 * Adds an {@link EventContainer} to the log. Only add the values/occurrences defined by
 * the list of descriptors. If an event is configured to be displayed by value and occurrence,
 * only the values are displayed (as they mark an event occurrence anyway).
 * <p/>This method is only called when at least one of the descriptor list is non empty.
 *
 * @param event
 * @param logParser
 * @param valueDescriptors
 * @param occurrenceDescriptors
 */
protected void addToLog(EventContainer event, EventLogParser logParser,
        ArrayList<ValueDisplayDescriptor> valueDescriptors,
        ArrayList<OccurrenceDisplayDescriptor> occurrenceDescriptors) {
    ScrollBar bar = mLogTable.getVerticalBar();
    boolean scroll = bar.getMaximum() == bar.getSelection() + bar.getThumb();

    // get the date.
    Calendar c = Calendar.getInstance();
    long msec = event.sec * 1000L;
    c.setTimeInMillis(msec);

    // convert the time into a string
    String date = String.format("%1$tF %1$tT", c);

    String eventName = logParser.getTagMap().get(event.mTag);
    String pidName = Integer.toString(event.pid);

    if (valueDescriptors.size() > 0) {
        for (ValueDisplayDescriptor descriptor : valueDescriptors) {
            logDescriptor(event, descriptor, date, pidName, eventName, logParser);
        }
    } else {
        // we display the event. Since the StringBuilder contains the header (date, event name,
        // pid) at this point, there isn't anything else to display.
    }

    // scroll if needed, by showing the last item
    if (scroll) {
        int itemCount = mLogTable.getItemCount();
        if (itemCount > 0) {
            mLogTable.showItem(mLogTable.getItem(itemCount - 1));
        }
    }
}
 

import org.eclipse.swt.widgets.ScrollBar; //導入方法依賴的package包/類
/***************************************************************************
 * Update this dialog
 **************************************************************************/
public void update()
{
	m_items.getTable().deselectAll();
	m_items.refresh(true);
	// Show the last item
	ScrollBar vertical = m_items.getTable().getVerticalBar();
	int maximum = vertical.getMaximum();
	int thumb = vertical.getThumb();
	int current = vertical.getSelection();
	if (current >= maximum - thumb)
	{
		m_items.reveal(m_items.getElementAt(m_items.getTable().getItemCount() - 1));
	}
}
 

import org.eclipse.swt.widgets.ScrollBar; //導入方法依賴的package包/類
public void handleEvent(Event event) {
	// Remove standard behavior
	event.doit = false;

	// Get scrollbar on which the event occurred.
	ScrollBar currentScrollBar = getScrollbar(event);

	int start = currentScrollBar.getSelection();
	int end = start;

	// If an effect is currently running, get the current and target
	// values.
	IEffect current = animationRunner.getEffect();
	if (current instanceof MoveScrollBarEffect) {
		MoveScrollBarEffect mseffect = (MoveScrollBarEffect) current;
		start = mseffect.getCurrent();
		end = mseffect.getEnd();
	}

	end -= event.count * currentScrollBar.getIncrement();

	if (end > currentScrollBar.getMaximum()
			- currentScrollBar.getThumb()) {
		end = currentScrollBar.getMaximum()
				- currentScrollBar.getThumb();
	}

	if (end < currentScrollBar.getMinimum()) {
		end = currentScrollBar.getMinimum();
	}

	animationRunner.runEffect(new MoveScrollBarEffect(currentScrollBar,
			start, end, duration, movement, null, null));

}
 

import org.eclipse.swt.widgets.ScrollBar; //導入方法依賴的package包/類
private void adaptIncrements(final ScrollBar scrollBar, final int scrollSpeedFactor) {
    if (scrollBar != null) {
        final int thumbSize = scrollBar.getThumb();
        scrollBar.setIncrement(Math.max(1, thumbSize / scrollSpeedFactor));
        scrollBar.setPageIncrement(thumbSize);
    }
}
 

import org.eclipse.swt.widgets.ScrollBar; //導入方法依賴的package包/類
public void saveScrollState(ScrollBar scrollBar) {
	this.selection = scrollBar.getSelection();
	this.minimum = scrollBar.getMinimum();
	this.maximum = scrollBar.getMaximum();
	this.thumb = scrollBar.getThumb();
	this.increment = scrollBar.getIncrement();
	this.pageIncrement = scrollBar.getPageIncrement();
}
 

import org.eclipse.swt.widgets.ScrollBar; //導入方法依賴的package包/類
/**
 * Takes all the accepted messages and display them.
 * This must be called from a UI thread.
 */
@UiThread
public void flush() {
    // if scroll bar is at the bottom, we will scroll
    ScrollBar bar = mTable.getVerticalBar();
    boolean scroll = bar.getMaximum() == bar.getSelection() + bar.getThumb();

    // if we are not going to scroll, get the current first item being shown.
    int topIndex = mTable.getTopIndex();

    // disable drawing
    mTable.setRedraw(false);

    int totalCount = mNewMessages.size();

    try {
        // remove the items of the old messages.
        for (int i = 0 ; i < mRemovedMessageCount && mTable.getItemCount() > 0 ; i++) {
            mTable.remove(0);
        }
        mRemovedMessageCount = 0;

        if (mUnreadCount > mTable.getItemCount()) {
            mUnreadCount = mTable.getItemCount();
        }

        // add the new items
        for (int i = 0  ; i < totalCount ; i++) {
            LogMessage msg = mNewMessages.get(i);
            addTableItem(msg);
        }
    } catch (SWTException e) {
        // log the error and keep going. Content of the logcat table maybe unexpected
        // but at least ddms won't crash.
        Log.e("LogFilter", e);
    }

    // redraw
    mTable.setRedraw(true);

    // scroll if needed, by showing the last item
    if (scroll) {
        totalCount = mTable.getItemCount();
        if (totalCount > 0) {
            mTable.showItem(mTable.getItem(totalCount-1));
        }
    } else if (mRemovedMessageCount > 0) {
        // we need to make sure the topIndex is still visible.
        // Because really old items are removed from the list, this could make it disappear
        // if we don't change the scroll value at all.

        topIndex -= mRemovedMessageCount;
        if (topIndex < 0) {
            // looks like it disappeared. Lets just show the first item
            mTable.showItem(mTable.getItem(0));
        } else {
            mTable.showItem(mTable.getItem(topIndex));
        }
    }

    // if this filter is not the current one, we update the tab text
    // with the amount of unread message
    if (mIsCurrentTabItem == false) {
        mUnreadCount += mNewMessages.size();
        totalCount = mTable.getItemCount();
        if (mUnreadCount > 0) {
            mTabItem.setText(mName + " (" //$NON-NLS-1$
                    + (mUnreadCount > totalCount ? totalCount : mUnreadCount)
                    + ")");  //$NON-NLS-1$
        } else {
            mTabItem.setText(mName);  //$NON-NLS-1$
        }
    }

    mNewMessages.clear();
}
 

import org.eclipse.swt.widgets.ScrollBar; //導入方法依賴的package包/類
/**
	 * Called when scrolled with the scrollbar slider
	 * 
	 * @param event
	 */
	private void scrollBar_onScroll(final SelectionEvent event) {

		if (_isInUpdateScrollbar) {

			// prevent additional scrolling

			_isInUpdateScrollbar = false;

			return;
		}

		final ScrollBar scrollbar = _parent.getVerticalBar();

		final int selectableMin = 0 + 1;
		final int selectableMax = scrollbar.getMaximum() - scrollbar.getThumb() - 1;

		final int currentSelection = scrollbar.getSelection();
		final int selectionDiff = currentSelection - _scrollBar_LastSelection;

		if (_scrollBar_OutsideWeeks == 0) {

			// scrolled is inside tour weeks

			if (currentSelection < selectableMin) {

				// we are at the upper border

//				sb.setSelection(selectableMin);
				_scrollBar_OutsideWeeks += selectionDiff;
			}

			if (currentSelection > selectableMax) {

				// we are at the lower border

//				sb.setSelection(selectableMax);
				_scrollBar_OutsideWeeks += selectionDiff;

			}

		} else {

			// scrolled is outside of the tour weeks

			if (_scrollBar_LastSelection == selectableMax) {
//				sb.setSelection(selectableMax);
			} else if (_scrollBar_LastSelection == selectableMin) {
//				sb.setSelection(selectableMin);
			}

			if (selectionDiff > 0 && _scrollBar_OutsideWeeks < 0) {

				// ensure we are not shifting over "0"
				_scrollBar_OutsideWeeks = Math.min(0, _scrollBar_OutsideWeeks + selectionDiff);

			} else if (selectionDiff < 0 && _scrollBar_OutsideWeeks > 0) {

				_scrollBar_OutsideWeeks = Math.max(0, _scrollBar_OutsideWeeks + selectionDiff);

			} else {
				_scrollBar_OutsideWeeks += selectionDiff;
			}

		}

		_scrollBar_LastSelection = scrollbar.getSelection();

		// goto the selected week
		_firstVisibleDay = scrollBar_getStartOfTours().atStartOfDay().plusDays(currentSelection * 7);

		_yearColumn_FirstYear = _firstVisibleDay;

		_isGraphDirty = true;
		redraw();
	}