import android.text.TextWatcher;\r
import android.text.style.StyleSpan;\r
import android.util.Log;\r
+import android.util.TypedValue;\r
import android.view.ContextMenu;\r
import android.view.ContextMenu.ContextMenuInfo;\r
import android.view.KeyEvent;\r
});\r
private SearchOperation currentSearchOperation = null;\r
\r
+ int fontSizeSp;\r
EditText searchText;\r
Button langButton;\r
\r
}\r
});\r
\r
+ final String fontSize = prefs.getString(getString(R.string.fontSizeKey), "12");\r
+ try {\r
+ fontSizeSp = Integer.parseInt(fontSize);\r
+ } catch (NumberFormatException e) {\r
+ fontSizeSp = 12;\r
+ }\r
\r
setContentView(R.layout.dictionary_activity);\r
searchText = (EditText) findViewById(R.id.SearchText);\r
+ searchText.setTextSize(TypedValue.COMPLEX_UNIT_SP, fontSizeSp);\r
\r
langButton = (Button) findViewById(R.id.LangButton);\r
+ langButton.setTextSize(TypedValue.COMPLEX_UNIT_SP, fontSizeSp);\r
\r
searchText.requestFocus();\r
searchText.addTextChangedListener(searchTextWatcher);\r
// IndexAdapter\r
// --------------------------------------------------------------------------\r
\r
- static final class IndexAdapter extends BaseAdapter {\r
+ final class IndexAdapter extends BaseAdapter {\r
\r
final Index index;\r
\r
\r
final String col2Text = index.swapPairEntries ? pair.lang1 : pair.lang2;\r
column2.setText(col2Text, TextView.BufferType.NORMAL);\r
+ \r
+ column1.setTextSize(TypedValue.COMPLEX_UNIT_SP, fontSizeSp);\r
+ column2.setTextSize(TypedValue.COMPLEX_UNIT_SP, fontSizeSp);\r
\r
result.addView(tableRow);\r
}\r
private View getView(TokenRow row, ViewGroup parent) {\r
final TextView textView = new TextView(parent.getContext());\r
textView.setText(row.getToken());\r
- textView.setTextSize(20);\r
+ textView.setTextSize(TypedValue.COMPLEX_UNIT_SP, 6 * fontSizeSp / 5);\r
return textView;\r
}\r
\r