kivy/kivy — pull request #1655 by matham (2013-11-30 00:48:54+00:00)
Title: Use splitter double tap on border to alternate between max/min size.

When double clicking splitter boundary add the ability to jump to the max/min. If it's closer to max, it jumps to min and vice-versa. This way you can maximize/minimize by double tapping.