mobile/android/base/widget/Divider.java

Wed, 31 Dec 2014 07:22:50 +0100

author
Michael Schloh von Bennewitz <michael@schloh.com>
date
Wed, 31 Dec 2014 07:22:50 +0100
branch
TOR_BUG_3246
changeset 4
fc2d59ddac77
permissions
-rw-r--r--

Correct previous dual key logic pending first delivery installment.

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 }

mercurial