From 9da38e8e967dc527b3ae3e133d06af45934b704d Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Tue, 11 Oct 2016 09:46:56 +0000
Subject: [PATCH]
---
contrib/mobile/Android/src/org/geuz/onelab/AboutActivity.java | 1 +
1 file changed, 1 insertion(+)
diff --git a/contrib/mobile/Android/src/org/geuz/onelab/AboutActivity.java b/contrib/mobile/Android/src/org/geuz/onelab/AboutActivity.java
index 4004d9737a..2310b26c2a 100644
--- a/contrib/mobile/Android/src/org/geuz/onelab/AboutActivity.java
+++ b/contrib/mobile/Android/src/org/geuz/onelab/AboutActivity.java
@@ -126,6 +126,7 @@ public class AboutActivity extends Activity{
}
else if(item.getTitle().equals(getString(R.string.menu_save))){
_webview.loadUrl("javascript:( function () { window.HTMLOUT.myJsCallback(document.body.innerText); } ) ()");
+ // FIXME: should reload the page to correctly re-highlight
}
return super.onMenuItemSelected(featureId, item);
}
--
GitLab