in web/viewer.dart [59:87]
void _switchSlide(String id, {bool fromMouse: false}) {
_noSlide();
var slide = document.querySelector('#$id-slide');
slide.style.maxHeight = 'none';
slide.style.zIndex = '1';
new Timer(_animationTime, () {
slide.style.opacity = '1';
slide.style.left = '0px';
var tab = document.querySelector('#$id-tab');
if (tab != null) {
tab.classes.add('core-selected');
var tabs = document.querySelector('paper-tabs');
tabs.attributes['selected'] = tab.attributes['offset'];
// Draw a ripple on the tab if we didn't already click on it.
if (!fromMouse) {
PaperRipple ripple = tab.shadowRoot.querySelector('paper-ripple');
var pos = {
'x': tabs.offsetLeft + tab.offsetLeft + tab.clientWidth / 2,
'y': 0
};
ripple.jsElement.callMethod('downAction', [new JsObject.jsify(pos)]);
window.animationFrame
.then((_) => ripple.jsElement.callMethod('upAction', []));
}
}
});
}