// Path: libs/html-textview/src/main/java/org/sufficientlysecure/htmltextview/HtmlTextView.java
// public class HtmlTextView extends JellyBeanSpanFixTextView {
// 
//     public static final String TAG = "HtmlTextView";
//     public static final boolean DEBUG = false;
// 
//     public HtmlTextView(Context context, AttributeSet attrs, int defStyle) {
//         super(context, attrs, defStyle);
//     }
// 
//     public HtmlTextView(Context context, AttributeSet attrs) {
//         super(context, attrs);
//     }
// 
//     public HtmlTextView(Context context) {
//         super(context);
//     }
// 
//     /**
//      * http://stackoverflow.com/questions/309424/read-convert-an-inputstream-to-a-string
//      *
//      * @param is
//      * @return
//      */
//     static private String convertStreamToString(java.io.InputStream is) {
//         java.util.Scanner s = new java.util.Scanner(is).useDelimiter("\\A");
//         return s.hasNext() ? s.next() : "";
//     }
// 
//     /**
//      * Loads HTML from a raw resource, i.e., a HTML file in res/raw/.
//      * This allows translatable resource (e.g., res/raw-de/ for german).
//      * The containing HTML is parsed to Android's Spannable format and then displayed.
//      *
//      * @param context
//      * @param id      for example: R.raw.help
//      */
//     public void setHtmlFromRawResource(Context context, int id, boolean useLocalDrawables) {
//         // load html from html file from /res/raw
//         InputStream inputStreamText = context.getResources().openRawResource(id);
// 
//         setHtmlFromString(convertStreamToString(inputStreamText), useLocalDrawables);
//     }
// 
//     /**
//      * Parses String containing HTML to Android's Spannable format and displays it in this TextView.
//      *
//      * @param html String containing HTML, for example: "<b>Hello world!</b>"
//      */
//     public void setHtmlFromString(String html, boolean useLocalDrawables) {
//         Html.ImageGetter imgGetter;
//         if (useLocalDrawables) {
//             imgGetter = new LocalImageGetter(getContext());
//         } else {
//             imgGetter = new UrlImageGetter(this, getContext());
//         }
//         // this uses Android's Html class for basic parsing, and HtmlTagHandler
//         setText(Html.fromHtml(html, imgGetter, new HtmlTagHandler()));
// 
//         // make links work
//         setMovementMethod(LinkMovementMethod.getInstance());
// 
//         // no flickering when clicking textview for Android < 4, but overriders color...
// //        text.setTextColor(getResources().getColor(android.R.color.secondary_text_dark_nodisable));
//     }
// }


import android.content.pm.PackageInfo;
import android.content.pm.PackageManager;
import android.graphics.Typeface;
import android.os.Bundle;
import android.support.v4.app.Fragment;
import android.util.Log;
import android.view.LayoutInflater;
import android.view.View;
import android.view.ViewGroup;
import android.widget.TextView;
import org.sagemath.droid.R;
import org.sufficientlysecure.htmltextview.HtmlTextView;
package org.sagemath.droid.fragments;


/**
 * Fragment which displays the Help About page
 * @author Nikhil Peter Raj
 */
public class HelpAboutFragment extends Fragment {
    private static final String TAG = "SageDroid:HelpAboutFragment";

    @Override
    public View onCreateView(LayoutInflater inflater, ViewGroup container, Bundle savedInstanceState) {
        View view = inflater.inflate(R.layout.fragment_help_about, container, false);

        TextView versionText = (TextView) view.findViewById(R.id.helpAboutVersion);
        TextView gitIconText = (TextView) view.findViewById(R.id.gitIconText);
// Path: libs/html-textview/src/main/java/org/sufficientlysecure/htmltextview/HtmlTextView.java
// public class HtmlTextView extends JellyBeanSpanFixTextView {
// 
//     public static final String TAG = "HtmlTextView";
//     public static final boolean DEBUG = false;
// 
//     public HtmlTextView(Context context, AttributeSet attrs, int defStyle) {
//         super(context, attrs, defStyle);
//     }
// 
//     public HtmlTextView(Context context, AttributeSet attrs) {
//         super(context, attrs);
//     }
// 
//     public HtmlTextView(Context context) {
//         super(context);
//     }
// 
//     /**
//      * http://stackoverflow.com/questions/309424/read-convert-an-inputstream-to-a-string
//      *
//      * @param is
//      * @return
//      */
//     static private String convertStreamToString(java.io.InputStream is) {
//         java.util.Scanner s = new java.util.Scanner(is).useDelimiter("\\A");
//         return s.hasNext() ? s.next() : "";
//     }
// 
//     /**
//      * Loads HTML from a raw resource, i.e., a HTML file in res/raw/.
//      * This allows translatable resource (e.g., res/raw-de/ for german).
//      * The containing HTML is parsed to Android's Spannable format and then displayed.
//      *
//      * @param context
//      * @param id      for example: R.raw.help
//      */
//     public void setHtmlFromRawResource(Context context, int id, boolean useLocalDrawables) {
//         // load html from html file from /res/raw
//         InputStream inputStreamText = context.getResources().openRawResource(id);
// 
//         setHtmlFromString(convertStreamToString(inputStreamText), useLocalDrawables);
//     }
// 
//     /**
//      * Parses String containing HTML to Android's Spannable format and displays it in this TextView.
//      *
//      * @param html String containing HTML, for example: "<b>Hello world!</b>"
//      */
//     public void setHtmlFromString(String html, boolean useLocalDrawables) {
//         Html.ImageGetter imgGetter;
//         if (useLocalDrawables) {
//             imgGetter = new LocalImageGetter(getContext());
//         } else {
//             imgGetter = new UrlImageGetter(this, getContext());
//         }
//         // this uses Android's Html class for basic parsing, and HtmlTagHandler
//         setText(Html.fromHtml(html, imgGetter, new HtmlTagHandler()));
// 
//         // make links work
//         setMovementMethod(LinkMovementMethod.getInstance());
// 
//         // no flickering when clicking textview for Android < 4, but overriders color...
// //        text.setTextColor(getResources().getColor(android.R.color.secondary_text_dark_nodisable));
//     }
// }


// Path: src/org/sagemath/droid/fragments/HelpAboutFragment.java
import android.content.pm.PackageInfo;
import android.content.pm.PackageManager;
import android.graphics.Typeface;
import android.os.Bundle;
import android.support.v4.app.Fragment;
import android.util.Log;
import android.view.LayoutInflater;
import android.view.View;
import android.view.ViewGroup;
import android.widget.TextView;
import org.sagemath.droid.R;
import org.sufficientlysecure.htmltextview.HtmlTextView;

package org.sagemath.droid.fragments;


/**
 * Fragment which displays the Help About page
 * @author Nikhil Peter Raj
 */
public class HelpAboutFragment extends Fragment {
    private static final String TAG = "SageDroid:HelpAboutFragment";

    @Override
    public View onCreateView(LayoutInflater inflater, ViewGroup container, Bundle savedInstanceState) {
        View view = inflater.inflate(R.layout.fragment_help_about, container, false);

        TextView versionText = (TextView) view.findViewById(R.id.helpAboutVersion);
        TextView gitIconText = (TextView) view.findViewById(R.id.gitIconText);
        HtmlTextView gitLinkText = (HtmlTextView) view.findViewById(R.id.gitLinkText);