The Tor Browser / file diff

     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/mobile/android/base/home/TabMenuStrip.java	Wed Dec 31 06:09:35 2014 +0100
     1.3 @@ -0,0 +1,100 @@
     1.4 +/* -*- Mode: Java; c-basic-offset: 4; tab-width: 4; indent-tabs-mode: nil; -*-
     1.5 + * This Source Code Form is subject to the terms of the Mozilla Public
     1.6 + * License, v. 2.0. If a copy of the MPL was not distributed with this
     1.7 + * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
     1.8 +
     1.9 +package org.mozilla.gecko.home;
    1.10 +
    1.11 +import org.mozilla.gecko.R;
    1.12 +
    1.13 +import android.content.Context;
    1.14 +import android.content.res.TypedArray;
    1.15 +import android.graphics.Canvas;
    1.16 +import android.graphics.drawable.Drawable;
    1.17 +import android.util.AttributeSet;
    1.18 +import android.view.LayoutInflater;
    1.19 +import android.view.View;
    1.20 +import android.view.ViewTreeObserver;
    1.21 +import android.view.accessibility.AccessibilityEvent;
    1.22 +import android.widget.HorizontalScrollView;
    1.23 +import android.widget.LinearLayout;
    1.24 +import android.widget.TextView;
    1.25 +
    1.26 +/**
    1.27 + * {@code TabMenuStrip} is the view used to display {@code HomePager} tabs
    1.28 + * on tablets. See {@code TabMenuStripLayout} for details about how the
    1.29 + * tabs are created and updated.
    1.30 + */
    1.31 +public class TabMenuStrip extends HorizontalScrollView
    1.32 +                          implements HomePager.Decor {
    1.33 +
    1.34 +    // Offset between the selected tab title and the edge of the screen,
    1.35 +    // except for the first and last tab in the tab strip.
    1.36 +    private static final int TITLE_OFFSET_DIPS = 24;
    1.37 +
    1.38 +    private final int titleOffset;
    1.39 +    private final TabMenuStripLayout layout;
    1.40 +
    1.41 +    public TabMenuStrip(Context context, AttributeSet attrs) {
    1.42 +        super(context, attrs);
    1.43 +
    1.44 +        // Disable the scroll bar.
    1.45 +        setHorizontalScrollBarEnabled(false);
    1.46 +
    1.47 +        titleOffset = (int) (TITLE_OFFSET_DIPS * getResources().getDisplayMetrics().density);
    1.48 +
    1.49 +        layout = new TabMenuStripLayout(context, attrs);
    1.50 +        addView(layout, LayoutParams.FILL_PARENT, LayoutParams.FILL_PARENT);
    1.51 +    }
    1.52 +
    1.53 +    @Override
    1.54 +    public void onAddPagerView(String title) {
    1.55 +        layout.onAddPagerView(title);
    1.56 +    }
    1.57 +
    1.58 +    @Override
    1.59 +    public void removeAllPagerViews() {
    1.60 +        layout.removeAllViews();
    1.61 +    }
    1.62 +
    1.63 +    @Override
    1.64 +    public void onPageSelected(final int position) {
    1.65 +        layout.onPageSelected(position);
    1.66 +    }
    1.67 +
    1.68 +    @Override
    1.69 +    public void onPageScrolled(int position, float positionOffset, int positionOffsetPixels) {
    1.70 +        layout.onPageScrolled(position, positionOffset, positionOffsetPixels);
    1.71 +
    1.72 +        final View selectedTitle = layout.getChildAt(position);
    1.73 +        if (selectedTitle == null) {
    1.74 +            return;
    1.75 +        }
    1.76 +
    1.77 +        final int selectedTitleOffset = (int) (positionOffset * selectedTitle.getWidth());
    1.78 +
    1.79 +        int titleLeft = selectedTitle.getLeft() + selectedTitleOffset;
    1.80 +        if (position > 0) {
    1.81 +            titleLeft -= titleOffset;
    1.82 +        }
    1.83 +
    1.84 +        int titleRight = selectedTitle.getRight() + selectedTitleOffset;
    1.85 +        if (position < layout.getChildCount() - 1) {
    1.86 +            titleRight += titleOffset;
    1.87 +        }
    1.88 +
    1.89 +        final int scrollX = getScrollX();
    1.90 +        if (titleLeft < scrollX) {
    1.91 +            // Tab strip overflows to the left.
    1.92 +            scrollTo(titleLeft, 0);
    1.93 +        } else if (titleRight > scrollX + getWidth()) {
    1.94 +            // Tab strip overflows to the right.
    1.95 +            scrollTo(titleRight - getWidth(), 0);
    1.96 +        }
    1.97 +    }
    1.98 +
    1.99 +    @Override
   1.100 +    public void setOnTitleClickListener(HomePager.OnTitleClickListener onTitleClickListener) {
   1.101 +        layout.setOnTitleClickListener(onTitleClickListener);
   1.102 +    }
   1.103 +}