summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDimitri van Heesch <dimitri@stack.nl>2016-08-21 11:28:33 (GMT)
committerDimitri van Heesch <dimitri@stack.nl>2016-08-21 11:28:33 (GMT)
commit478c1475ba8cbe508c39589c639662e317b959db (patch)
tree87305a4f415a23df23d7be630d6660542ef1089e
parentf37c0e58c47c43e96417d4dcf1559e3f9d1b323b (diff)
downloadDoxygen-478c1475ba8cbe508c39589c639662e317b959db.zip
Doxygen-478c1475ba8cbe508c39589c639662e317b959db.tar.gz
Doxygen-478c1475ba8cbe508c39589c639662e317b959db.tar.bz2
Bug 769028 - Can't scroll using finger documentation in Chrome browser on Android OS
-rw-r--r--templates/html/resize.js19
1 files changed, 2 insertions, 17 deletions
diff --git a/templates/html/resize.js b/templates/html/resize.js
index 2066667..6d78f5b 100644
--- a/templates/html/resize.js
+++ b/templates/html/resize.js
@@ -92,11 +92,10 @@ function initResizable()
$(sidenav).resizable({ minWidth: 0 });
$(window).resize(function() { resizeHeight(); });
var device = navigator.userAgent.toLowerCase();
- var ios_or_android = device.match(/(iphone|ipod|ipad|android)/);
- if (ios_or_android) { /* wider split bar for touch only devices */
+ var touch_device = device.match(/(iphone|ipod|ipad|android)/);
+ if (touch_device) { /* wider split bar for touch only devices */
$(sidenav).css({ paddingRight:'20px' });
$('.ui-resizable-e').css({ width:'20px' });
- console.log('ui='+$('.ui-resizable-e').width());
$('#nav-sync').css({ right:'34px' });
barWidth=20;
}
@@ -108,20 +107,6 @@ function initResizable()
var _preventDefault = function(evt) { evt.preventDefault(); };
$("#splitbar").bind("dragstart", _preventDefault).bind("selectstart", _preventDefault);
$(".ui-resizable-handle").dblclick(collapseExpand);
- $(document).bind('touchmove',function(e){
- if (ios_or_android) {
- try {
- var target = e.target;
- while (target) {
- if ($(target).css('-webkit-overflow-scrolling')=='touch') return;
- target = target.parentNode;
- }
- e.preventDefault();
- } catch(err) {
- e.preventDefault();
- }
- }
- });
$(window).load(resizeHeight);
}