view .hgignore @ 271:23d4358803c7

widgets_handler: work around the double call of onSlideChange: with Kivy dev version a95d67f (the one currently used in Python for Android), onSlideChange which is binded on current_slide was called twice with the same widget, resulting in widgets unexpectedly deleted. This patch fixes it by abording the callback if new_slide is the same as _former_slide, i.e. if the widget is not actually changed. Started a discussion with upstream Kivy team to check if this is a bug or feature.
author Goffi <goffi@goffi.org>
date Wed, 20 Mar 2019 09:29:44 +0100
parents 61ba5d193cfe
children
line wrap: on
line source


syntax: glob
*.pyc
*.pyo
*.pyv
*.swp
*.swo
tags
*.un~
Session.vim