diff .hgtags @ 96:44fc94b0fe18

new FocusPile widget: a Pile which manage FOCUS_KEYS
author Goffi <goffi@goffi.org>
date Mon, 08 Sep 2014 15:42:25 +0200
parents 62c4288e5a97
children de3f1cdd5c4c
line wrap: on
line diff