\r
static final String HTML_RES = "html_res";\r
static final String HTML = "html";\r
+ static final String TEXT_TO_HIGHLIGHT = "textToHighlight";\r
\r
public static Intent getHelpLaunchIntent() {\r
final Intent intent = new Intent();\r
return intent;\r
}\r
\r
- public static Intent getHtmlIntent(final String html) {\r
+ public static Intent getHtmlIntent(final String html, final String textToHighlight) {\r
final Intent intent = new Intent();\r
intent.setClassName(HtmlDisplayActivity.class.getPackage().getName(), HtmlDisplayActivity.class.getName());\r
intent.putExtra(HTML, html);\r
+ intent.putExtra(TEXT_TO_HIGHLIGHT, textToHighlight);\r
return intent;\r
}\r
\r
final WebView webView = (WebView) findViewById(R.id.webView);\r
webView.loadData(html, "text/html", "utf-8");\r
\r
+ final String textToHighlight = getIntent().getStringExtra(TEXT_TO_HIGHLIGHT);\r
+ if (textToHighlight != null && "".equals(textToHighlight)) {\r
+ webView.findAllAsync(textToHighlight);\r
+ }\r
+ \r
final Button okButton = (Button) findViewById(R.id.okButton);\r
okButton.setOnClickListener(new OnClickListener() {\r
@Override\r