March 15, 2011
1:38 p.m.
Hi, Just committed some keybindings and operative findbar patches. It feels quite operative now. Minor things remain. BTW, there's a pending bug report to FLTK (see comments in code). -- Cheers Jorge.-