Wed, 31 Dec 2014 06:09:35 +0100
Cloned upstream origin tor-browser at tor-browser-31.3.0esr-4.5-1-build1
revision ID fc1c9ff7c1b2defdbc039f12214767608f46423f for hacking purpose.
michael@0 | 1 | /* This Source Code Form is subject to the terms of the Mozilla Public |
michael@0 | 2 | * License, v. 2.0. If a copy of the MPL was not distributed with this file, |
michael@0 | 3 | * You can obtain one at http://mozilla.org/MPL/2.0/. */ |
michael@0 | 4 | |
michael@0 | 5 | package org.mozilla.gecko.widget; |
michael@0 | 6 | |
michael@0 | 7 | import android.content.Context; |
michael@0 | 8 | import android.util.AttributeSet; |
michael@0 | 9 | import android.view.View; |
michael@0 | 10 | import android.widget.LinearLayout.LayoutParams; |
michael@0 | 11 | |
michael@0 | 12 | public class Divider extends View { |
michael@0 | 13 | public static enum Orientation { HORIZONTAL, VERTICAL }; |
michael@0 | 14 | |
michael@0 | 15 | // Orientation of the divider. |
michael@0 | 16 | private Orientation mOrientation; |
michael@0 | 17 | |
michael@0 | 18 | // Density of the device. |
michael@0 | 19 | private int mDensity; |
michael@0 | 20 | |
michael@0 | 21 | public Divider(Context context, AttributeSet attrs) { |
michael@0 | 22 | super(context, attrs); |
michael@0 | 23 | |
michael@0 | 24 | mDensity = (int) context.getResources().getDisplayMetrics().density; |
michael@0 | 25 | |
michael@0 | 26 | setOrientation(Orientation.HORIZONTAL); |
michael@0 | 27 | } |
michael@0 | 28 | |
michael@0 | 29 | public void setOrientation(Orientation orientation) { |
michael@0 | 30 | if (mOrientation != orientation) { |
michael@0 | 31 | mOrientation = orientation; |
michael@0 | 32 | |
michael@0 | 33 | if (mOrientation == Orientation.HORIZONTAL) |
michael@0 | 34 | setLayoutParams(new LayoutParams(LayoutParams.FILL_PARENT, mDensity)); |
michael@0 | 35 | else |
michael@0 | 36 | setLayoutParams(new LayoutParams(mDensity, LayoutParams.FILL_PARENT)); |
michael@0 | 37 | } |
michael@0 | 38 | } |
michael@0 | 39 | } |