diff COPYING @ 20:29b507826eed

header's input field is now accessible with self.header_input and call onHeaderInput() on text entered
author Goffi <goffi@goffi.org>
date Mon, 08 Aug 2016 01:02:23 +0200
parents 160cc95ad7ea
children
line wrap: on
line diff