Comment out most of class (TeXPortal): store states using SharedPreference instead